vmx_asm1          238 arch/x86/kvm/vmx/ops.h 	vmx_asm1(vmclear, "m"(phys_addr), vmcs, phys_addr);
vmx_asm1          248 arch/x86/kvm/vmx/ops.h 	vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr);