FIP_V
if ((regs->sfip & ~FIP_ADDR) != FIP_V)
tf->tf_snip = ((pack->ep_entry + 8) & FIP_ADDR) | FIP_V;
tf->tf_sfip = (tf->tf_snip + 4) | FIP_V;
frame->tf_sfip = (pcb_onfault + 4) | FIP_V;
frame->tf_sfip = (pcb_onfault + 4) | FIP_V;