ss_branch_taken
vaddr_t ss_branch_taken(u_int, vaddr_t, struct reg *);
brpc = ss_branch_taken(instr, pc, sstf);