loaded_vmcs_init 2553 arch/x86/kvm/vmx/vmx.c 	loaded_vmcs_init(loaded_vmcs);
loaded_vmcs_init  480 arch/x86/kvm/vmx/vmx.h void loaded_vmcs_init(struct loaded_vmcs *loaded_vmcs);