Symbol: VMX_MSRLIST_EXIT_NMSR
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3138
vmx_vmwrite(VMCS_EXIT_MSR_STORE_COUNT, VMX_MSRLIST_EXIT_NMSR);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
610
static size_t vmx_msrlist_entry_nmsr __read_mostly = VMX_MSRLIST_EXIT_NMSR;