eclass_trapname
eclass_trapname(__SHIFTOUT(tf_buf.tf_esr, ESR_EC)),
eclass_trapname(eclass));
tf->tf_regs.r_pc, ksi->ksi_addr, eclass_trapname(eclass));
" esr=%08x", eclass_trapname(eclass), tf->tf_pc, tf->tf_sp,
eclass_trapname(eclass), tf->tf_esr, tf->tf_pc,
eclass_trapname(eclass), tf->tf_esr, tf->tf_pc,
const char *eclass_trapname(uint32_t);