Symbol: vmm_get_guest_cpu_mode
sys/arch/amd64/amd64/vmm_machdep.c
130
int vmm_get_guest_cpu_mode(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
5232
mode = vmm_get_guest_cpu_mode(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
8858
int mode = vmm_get_guest_cpu_mode(vcpu);