70     /* Test that non-reserved bits in xMR and xTSR can be set and cleared */  in test_reg_write_read()
115     /* Test that direct lines reserved bits are not written to */  in test_direct_lines_write()
144     /* Test that reserved bits stay are not written to */  in test_reserved_bits_write()
168      * Test that we can launch a software irq by :  in test_software_interrupt()
172      * And that the interruption stays pending in NVIC  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()
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()
260     /* Test that an irq is raised on rising edge only */  in test_edge_selector()
281     /* Test that an irq is raised on falling edge only */  in test_edge_selector()
301     /* Test that an irq is raised on rising edge */  in test_edge_selector()
312     /* Test that an irq is raised on falling edge */  in test_edge_selector()
328     /* Test that no irq is raised */  in test_edge_selector()
341      * Test that software irq doesn't happen when :  in test_no_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()
414      * Test that irq doesn't happen when :  in test_masked_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()
459      * Test that we can launch an irq by :  in test_interrupt()
464      * And that the interruption stays pending in NVIC  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()
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()
513      * test that raising the line pends interrupt  in test_orred_interrupts()
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()