ppa_format
(void) ppa_format(addr, &ppa, &qfmt);
} else if (mdb_walk("sppa", (mdb_walk_cb_t)ppa_format, &qfmt) == -1) {