vmx_asm1
vmx_asm1(vmclear, "m"(phys_addr), vmcs, phys_addr);
vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr);