kt_cpuregs
"specific CPU", kt_cpuregs },
kt->k_dcmd_cpuregs = kt_cpuregs;
extern int kt_cpuregs(uintptr_t, uint_t, int, const mdb_arg_t *);