__loaded_vmcs_clear  697 arch/x86/kvm/vmx/vmx.c 			 __loaded_vmcs_clear, loaded_vmcs, 1);
__loaded_vmcs_clear 2265 arch/x86/kvm/vmx/vmx.c 		__loaded_vmcs_clear(v);