Searched refs:vmlaunch (Results 1 – 15 of 15) sorted by relevance
93 GUEST_ASSERT(!vmlaunch()); in vmx_l1_guest_code()98 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()115 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()117 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()130 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()134 GUEST_ASSERT(vmlaunch()); in vmx_l1_guest_code()
100 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()106 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
109 GUEST_ASSERT(vmlaunch()); in guest_code()124 GUEST_ASSERT(!vmlaunch()); in guest_code()188 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()
74 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
105 vmlaunch(); in guest_code()
110 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
96 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
117 GUEST_ASSERT_EQ(vector == SS_VECTOR ? vmlaunch() : vmresume(), 0); in vmx_run_l2()
47 GUEST_ASSERT(!vmlaunch()); in memstress_l1_guest_code()
187 vmlaunch
371 static inline int vmlaunch(void) in vmlaunch() function