NIP_V
((regs)->snip & NIP_V ? (regs)->snip & NIP_ADDR : \
if ((regs->snip & ~NIP_ADDR) != NIP_V)
tf->tf_snip = (addr & NIP_ADDR) | NIP_V;
frame->tf_snip = pcb_onfault | NIP_V;
frame->tf_snip = pcb_onfault | NIP_V;
frame->tf_sxip = pc | NIP_V;