ire_format
(void) ire_format(addr, &ire, &ire_cb);
} else if (mdb_pwalk("ire", (mdb_walk_cb_t)ire_format, &ire_cb,
static int ire_format(uintptr_t addr, const void *, void *);