Searched refs:vmlaunch (Results 1 – 14 of 14) sorted by relevance
94 GUEST_ASSERT(!vmlaunch()); in vmx_l1_guest_code()99 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()116 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()118 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()131 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()135 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()
100 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()106 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
110 GUEST_ASSERT(vmlaunch()); in guest_code()125 GUEST_ASSERT(!vmlaunch()); in guest_code()189 GUEST_ASSERT(vmlaunch()); in guest_code()
44 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
46 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
59 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
37 GUEST_ASSERT(!vmlaunch()); in l1_guest_code_vmx()
61 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
106 vmlaunch(); in guest_code()
110 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
97 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
119 GUEST_ASSERT_EQ(vector == SS_VECTOR ? vmlaunch() : vmresume(), 0); in vmx_run_l2()
47 GUEST_ASSERT(!vmlaunch()); in memstress_l1_guest_code()
371 static inline int vmlaunch(void) in vmlaunch() function