Symbol: VMCS_MSR_BITMAP_ADDRESS
sys/arch/amd64/amd64/vmm_machdep.c
2469
if (vmwrite(VMCS_MSR_BITMAP_ADDRESS,
sys/arch/amd64/amd64/vmm_machdep.c
7670
vmx_dump_vmcs_field(VMCS_MSR_BITMAP_ADDRESS, "MSR Bitmap");