Symbol: VMCS_EXIT_LOAD_MSR_ADDRESS
sys/arch/amd64/amd64/vmm_machdep.c
2453
if (vmwrite(VMCS_EXIT_LOAD_MSR_ADDRESS,
sys/arch/amd64/amd64/vmm_machdep.c
7676
vmx_dump_vmcs_field(VMCS_EXIT_LOAD_MSR_ADDRESS, "Exit Load MSRs");