Searched refs:good_ipis_received (Results 1 – 1 of 1) sorted by relevance
10 static volatile int good_ipis_received; variable14 good_ipis_received++; in good_ipi_handler()61 GUEST_ASSERT_EQ(good_ipis_received, 1); in l1_guest_code()102 GUEST_ASSERT_EQ(good_ipis_received, 2); in l1_guest_code()