PSW_BITS
snprintb(buf, sizeof(buf), PSW_BITS, tf->tf_ipsw);
PIM_WORD("\n\tIPSW", regs->pim_regs_cr22, PSW_BITS);
PIM_WORD("\nIPSW", regs->pim_regs_cr22, PSW_BITS);