Searched refs:vmlaunch (Results 1 – 7 of 7) sorted by relevance
64 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()69 GUEST_ASSERT(vmlaunch()); in l1_guest_code()86 GUEST_ASSERT(vmlaunch()); in l1_guest_code()88 GUEST_ASSERT(vmlaunch()); in l1_guest_code()101 GUEST_ASSERT(vmlaunch()); in l1_guest_code()105 GUEST_ASSERT(vmlaunch()); in l1_guest_code()
108 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()114 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
49 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
63 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
53 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()
53 2: vmlaunch
416 static inline int vmlaunch(void) in vmlaunch() function
