Symbol: VCPU_REGS_NMSRS
sys/arch/amd64/amd64/vmm_machdep.c
1104
for (i = 0; i < VCPU_REGS_NMSRS; i++) {
sys/arch/amd64/amd64/vmm_machdep.c
1384
for (i = 0; i < VCPU_REGS_NMSRS; i++) {
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
2438
if (vmwrite(VMCS_ENTRY_MSR_LOAD_COUNT, VCPU_REGS_NMSRS)) {
sys/arch/amd64/amd64/vmm_machdep.c
8400
for (i = 0; i < VCPU_REGS_NMSRS; i++) {
sys/arch/amd64/include/vmmvar.h
446
uint64_t vrs_msrs[VCPU_REGS_NMSRS];