CPUINFO_TWIDTH
"PRI", "RNRN", "KRNRN", "SWITCH", CPUINFO_TWIDTH, "THREAD",
mdb_printf("%0*p", CPUINFO_TWIDTH, cpu->cpu_thread);
t.t_pil, CPUINFO_TWIDTH, iaddr);
CPUINFO_TWIDTH, pinned,
CPUINFO_TWIDTH, "THREAD", "PROC");
CPUINFO_TWIDTH, taddr, p.p_user.u_comm);