184     /* Check that this specific interrupt isn't pending in NVIC */  in test_software_interrupt()
342      * - corresponding bit in IMR isn't set  in test_no_software_interrupt()
354     /* Check that this specific interrupt isn't pending in NVIC */  in test_no_software_interrupt()
367     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
375     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
386     /* Check that this specific interrupt isn't pending in NVIC */  in test_no_software_interrupt()
399     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
407     /* Check that the interrupt isn't pending in NVIC */  in test_no_software_interrupt()
415      * - corresponding bit in IMR isn't set  in test_masked_interrupt()
427     /* Check that this specific interrupt isn't pending in NVIC */  in test_masked_interrupt()
441     /* Check that the interrupt isn't pending in NVIC */  in test_masked_interrupt()
449     /* Check that the interrupt isn't pending in NVIC */  in test_masked_interrupt()
476     /* Check that this specific interrupt isn't pending in NVIC */  in test_interrupt()
519     /* Check that this specific interrupt isn't pending in NVIC */  in test_orred_interrupts()