__ex              712 arch/x86/kvm/svm.c 	asm volatile (__ex("clgi"));
__ex              717 arch/x86/kvm/svm.c 	asm volatile (__ex("stgi"));
__ex              722 arch/x86/kvm/svm.c 	asm volatile (__ex("invlpga %1, %0") : : "c"(asid), "a"(addr));
__ex             5726 arch/x86/kvm/svm.c 		__ex("vmload %%" _ASM_AX) "\n\t"
__ex             5727 arch/x86/kvm/svm.c 		__ex("vmrun %%" _ASM_AX) "\n\t"
__ex             5728 arch/x86/kvm/svm.c 		__ex("vmsave %%" _ASM_AX) "\n\t"
__ex             2865 arch/x86/kvm/vmx/nested.c 		__ex("vmwrite %%" _ASM_SP ", %[HOST_RSP]") "\n\t"
__ex             2274 arch/x86/kvm/vmx/vmx.c 	asm volatile (__ex("vmxoff"));