vmclear
vmx_asm1(vmclear, "m"(phys_addr), vmcs, phys_addr);
if (vmclear(vmx->vmcs_gpa))
if (vmclear(vmx->shadow_vmcs_gpa))