vmlaunch
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT_EQ(i ? vmresume() : vmlaunch(), 0);
GUEST_ASSERT_EQ(vector == SS_VECTOR ? vmlaunch() : vmresume(), 0);
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
vmlaunch();
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());
GUEST_ASSERT(!vmlaunch());