Searched refs:GUEST_ASSERT_NE (Results 1 – 4 of 4) sorted by relevance
23 GUEST_ASSERT_NE(get_bsp_flag(), 0); in guest_bsp_vcpu()
90 GUEST_ASSERT_NE(hcall->control, 0); in guest_hcall()
91 #define GUEST_ASSERT_NE(a, b) \ macro
142 GUEST_ASSERT_NE(status, -1); in guest_code()