172      * And that the interruption stays pending in NVIC  in test_software_interrupt()
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()
184     /* Check that this specific interrupt isn't pending in NVIC */  in test_software_interrupt()
195     /* Check that the corresponding pending bit in PR is set */  in test_software_interrupt()
197     /* Check that the corresponding interrupt is pending in the NVIC */  in test_software_interrupt()
200     /* Clear the pending bit in PR */  in test_software_interrupt()
207     /* Check that the interrupt is still pending in the NVIC */  in test_software_interrupt()
216     /* Check that there are no interrupts already pending */  in test_software_interrupt()
228     /* Check that the corresponding pending bit in PR is set */  in test_software_interrupt()
230     /* Check that the corresponding interrupt is pending in the NVIC */  in test_software_interrupt()
233     /* Clear the pending bit in PR */  in test_software_interrupt()
240     /* Check that the interrupt is still pending in the NVIC */  in test_software_interrupt()
352     /* Check that there are no interrupts already pending in PR */  in test_no_software_interrupt()
354     /* Check that this specific interrupt isn't pending in NVIC */  in test_no_software_interrupt()
365     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
367     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
373     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
375     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
384     /* Check that there are no interrupts already pending in PR */  in test_no_software_interrupt()
386     /* Check that this specific interrupt isn't pending in NVIC */  in test_no_software_interrupt()
397     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
399     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
405     /* Check that the pending bit in PR wasn't set */  in test_no_software_interrupt()
407     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
425     /* Check that there are no interrupts already pending in PR */  in test_masked_interrupt()
427     /* Check that this specific interrupt isn't pending in NVIC */  in test_masked_interrupt()
439     /* Check that the pending bit in PR wasn't set */  in test_masked_interrupt()
441     /* Check that the interrupt isn't pending in NVIC */  in test_masked_interrupt()
447     /* Check that the pending bit in PR wasn't set */  in test_masked_interrupt()
449     /* Check that the interrupt isn't pending in NVIC */  in test_masked_interrupt()
464      * And that the interruption stays pending in NVIC  in test_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()
476     /* Check that this specific interrupt isn't pending in NVIC */  in test_interrupt()
488     /* Check that the pending bit in PR was set */  in test_interrupt()
490     /* Check that the interrupt is pending in NVIC */  in test_interrupt()
493     /* Clear the pending bit in PR */  in test_interrupt()
498     /* Check that the interrupt is still pending in the NVIC */  in test_interrupt()
517     /* Check that there are no interrupts already pending in PR */  in test_orred_interrupts()
519     /* Check that this specific interrupt isn't pending in NVIC */  in test_orred_interrupts()
528     /* Raise GPIO line i, check that the interrupt is pending */  in test_orred_interrupts()