Searched refs:it_intid (Results 1 – 1 of 1) sorted by relevance
218 uint32_t it_intid = vcpu_virt_interrupt_get_pending_and_enabled( in TEST_F() local224 EXPECT_NE(it_intid, HF_INVALID_INTID); in TEST_F()230 EXPECT_EQ(it_intid, first_intid); in TEST_F()233 EXPECT_EQ(it_intid, second_intid); in TEST_F()237 vcpu_virt_interrupt_inject(vcpu_locked, it_intid); in TEST_F()
Completed in 4 milliseconds