173      * even after clearing the pending bit in PR.  in test_software_interrupt()
182     /* Check that there are no interrupts already pending in PR */  in test_software_interrupt()
195     /* Check that the corresponding pending bit in PR is set */  in test_software_interrupt()
200     /* Clear the pending bit in PR */  in test_software_interrupt()
203     /* Check that the write in PR was effective */  in test_software_interrupt()
228     /* Check that the corresponding pending bit in PR is set */  in test_software_interrupt()
233     /* Clear the pending bit in PR */  in test_software_interrupt()
236     /* Check that the write in PR was effective */  in test_software_interrupt()
352     /* Check that there are no interrupts already pending in PR */  in test_no_software_interrupt()
365     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
373     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
384     /* Check that there are no interrupts already pending in PR */  in test_no_software_interrupt()
397     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
405     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
425     /* Check that there are no interrupts already pending in PR */  in test_masked_interrupt()
439     /* Check that the pending bit in PR wasn't set */  in test_masked_interrupt()
447     /* Check that the pending bit in PR wasn't set */  in test_masked_interrupt()
465      * even after clearing the pending bit in PR.  in test_interrupt()
474     /* Check that there are no interrupts already pending in PR */  in test_interrupt()
488     /* Check that the pending bit in PR was set */  in test_interrupt()
493     /* Clear the pending bit in PR */  in test_interrupt()
496     /* Check that the write in PR was effective */  in test_interrupt()
517     /* Check that there are no interrupts already pending in PR */  in test_orred_interrupts()