tf_sfip
if (s->tf_sfip != s->tf_snip + 4) {
db_printf("sfip: 0x%08lx ", s->tf_sfip);
db_find_xtrn_sym_and_offset((vaddr_t)IPMASK(s->tf_sfip),
tf->tf_sfip = tf->tf_snip + 4;
f->tf_sxip, f->tf_snip, f->tf_sfip);
tf->tf_sfip = (tf->tf_snip + 4) | FIP_V;
tf->tf_snip = tf->tf_sfip & ~NIP_E;
tf->tf_sfip = tf->tf_snip + 4;
tf->tf_sfip &= ~FIP_E;
tf->tf_sfip = tf->tf_sfip & ~FIP_E;
tf->tf_snip = (tf->tf_sfip & XIP_ADDR) | XIP_V;
tf->tf_sfip = tf->tf_snip + 4;
tf->tf_sfip &= ~FIP_E;
frame->tf_sfip = (pcb_onfault + 4) | FIP_V;
frame->tf_sfip &= ~FIP_E;
frame->tf_sfip = (pcb_onfault + 4) | FIP_V;