mdb_x86_print_sysregs
mdb_x86_print_sysregs(&sregs, longmode);
mdb_x86_print_sysregs(&sregs, vmm_vcpu_mode(bd->bd_vmm, cpu) ==
extern void mdb_x86_print_sysregs(struct sysregs *, boolean_t);