Symbol: VMCS_EXIT_MSR_STORE_COUNT
sys/amd64/vmm/intel/vmcs.c
326
if ((error = vmwrite(VMCS_EXIT_MSR_STORE_COUNT, g_count)) != 0)
sys/amd64/vmm/intel/vmx.c
1189
vmcs_write(VMCS_EXIT_MSR_STORE_COUNT, 0);