db_iprintf
void db_iprintf (const char *,...) __printflike(1, 2);
db_iprintf("Task map %p: pmap=%p, nentries=%d, version=%u\n",
db_iprintf("map entry %p: start=%p, end=%p\n",
db_iprintf(" prot=%x/%x/%s",
db_iprintf(
db_iprintf("\n");
db_iprintf("memory:=");
db_iprintf(" ...");