void guest_code(struct vmx_pages *vmx_pages) { GUEST_SYNC(1); GUEST_SYNC(2); if (vmx_pages) l1_guest_code(vmx_pages); GUEST_DONE(); }
static void guest_code(void) { uint64_t cr4; /* turn on CR4.OSXSAVE */ cr4 = get_cr4(); cr4 |= X86_CR4_OSXSAVE; set_cr4(cr4); /* verify CR4.OSXSAVE == CPUID.OSXSAVE */ GUEST_ASSERT(cr4_cpuid_is_sync()); /* notify hypervisor to change CR4 */ GUEST_SYNC(0); /* check again */ GUEST_ASSERT(cr4_cpuid_is_sync()); GUEST_DONE(); }