Symbol: VMCS_EXIT_MSR_LOAD_COUNT
sys/arch/amd64/amd64/vmm_machdep.c
2431
if (vmwrite(VMCS_EXIT_MSR_LOAD_COUNT, VCPU_HOST_REGS_NMSRS)) {
sys/arch/amd64/amd64/vmm_machdep.c
7880
vmx_dump_vmcs_field(VMCS_EXIT_MSR_LOAD_COUNT, "Exit MSR Load Ct");