Symbol: VMCS_GUEST_CR3
usr/src/uts/intel/io/vmm/intel/vmcs.c
65
return (VMCS_GUEST_CR3);
usr/src/uts/intel/io/vmm/intel/vmx.c
1812
paging->cr3 = vmcs_read(VMCS_GUEST_CR3);
usr/src/uts/intel/io/vmm/intel/vmx.c
3192
case VMCS_GUEST_CR3: