Symbol: VMCS_HOST_CR3
sys/amd64/vmm/intel/vmx.c
3074
vmcs_write(VMCS_HOST_CR3, rcr3());
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
947
error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR3, &cr3);