cregname
db_printf("r%d, %s", rd, cregname(cpu, sfu, creg));
db_printf("r%d, %s", rs1, cregname(cpu, sfu, creg));
rd, rs1, cregname(cpu, sfu, creg));
const char *cregname(int, u_int, u_int);