kmdb_dpi_get_register
extern int kmdb_dpi_get_register(const char *, kreg_t *);
(void) kmdb_dpi_get_register("pc", &tsp->st_pc);
(void) kmdb_dpi_get_register("pc", &tsp->st_pc);
(void) kmdb_dpi_get_register("pc", &tsp->st_pc);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("tt", &tt);
(void) kmdb_dpi_get_register("tt", &tt);
if (kmdb_dpi_get_register(rname, &val) < 0)
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_get_register("sp", &sp);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &oldfl);
(void) kmdb_dpi_get_register("sp", &sp);
(void) kmdb_dpi_get_register(FLAGS_REG_NAME, &fl);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("trapno", &trapno);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("pc", &pc);
(void) kmdb_dpi_get_register("sp", &sp);
(void) kmdb_dpi_get_register("fp", &fp);