vmm_vcpu_mode
mode = vmm_vcpu_mode(bd->bd_vmm, bd->bd_curcpu);
mdb_x86_print_sysregs(&sregs, vmm_vcpu_mode(bd->bd_vmm, cpu) ==
switch (vmm_vcpu_mode(vmm, vcpuid)) {
vmm_mode_t vmm_vcpu_mode(vmm_t *, int);