Searched refs:int_fired (Results 1 – 1 of 1) sorted by relevance
31 static unsigned int int_fired; variable36 int_fired++; in guest_int_handler()43 GUEST_ASSERT_1(int_fired == 1, int_fired); in l2_guest_code_int()
Completed in 4 milliseconds