Symbol: VMCS_ENTRY_MSR_LOAD_COUNT
sys/arch/amd64/amd64/vmm_machdep.c
2438
if (vmwrite(VMCS_ENTRY_MSR_LOAD_COUNT, VCPU_REGS_NMSRS)) {
sys/arch/amd64/amd64/vmm_machdep.c
7883
vmx_dump_vmcs_field(VMCS_ENTRY_MSR_LOAD_COUNT, "Entry MSR Load Ct");