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()
193     /* Check that the write in SWIER was effective */  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()
203     /* Check that the write in PR was effective */  in test_software_interrupt()
205     /* Check that the corresponding bit in SWIER was cleared */  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()
226     /* Check that the write in SWIER was effective */  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()
236     /* Check that the write in PR was effective */  in test_software_interrupt()
238     /* Check that the corresponding bit in SWIER was cleared */  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()
363     /* Check that the write in SWIER was effective */  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()
395     /* Check that the write in SWIER was effective */  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()
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()
496     /* Check that the write in PR was effective */  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()