Symbol: VMCS_GUEST_CR3
sys/amd64/vmm/intel/vmcs.c
83
return (VMCS_GUEST_CR3);
sys/amd64/vmm/intel/vmcs.h
100
#define vmcs_guest_cr3() vmcs_read(VMCS_GUEST_CR3)