Symbol: vmm_decode_cpu_mode
sys/arch/amd64/amd64/vmm_machdep.c
181
const char *vmm_decode_cpu_mode(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
8098
DPRINTF("vcpu @ %p in %s mode\n", vcpu, vmm_decode_cpu_mode(vcpu));