Symbol: VMCS_EXIT_MSR_STORE_COUNT
sys/arch/amd64/amd64/vmm_machdep.c
2424
if (vmwrite(VMCS_EXIT_MSR_STORE_COUNT, VCPU_REGS_NMSRS)) {
sys/arch/amd64/amd64/vmm_machdep.c
7878
vmx_dump_vmcs_field(VMCS_EXIT_MSR_STORE_COUNT, "Exit MSR Store Ct");