Searched refs:interrupt_handle (Results 1 – 1 of 1) sorted by relevance
1461 let interrupt_handle = db.get_interrupt_handle(); in test_interrupt() localVariable1468 interrupt_handle.interrupt(); in test_interrupt()