Symbol: VMX_MSRIDX
sys/arch/amd64/amd64/vmm_machdep.c
1870
idx = VMX_MSRIDX(msr);
sys/arch/amd64/amd64/vmm_machdep.c
1873
idx = VMX_MSRIDX(msr - 0xc0000000) + 0x400;
sys/arch/amd64/amd64/vmm_machdep.c
1902
idx = VMX_MSRIDX(msr) + 0x800;
sys/arch/amd64/amd64/vmm_machdep.c
1905
idx = VMX_MSRIDX(msr - 0xc0000000) + 0xc00;