Symbol: add_multijmp
usr/src/tools/smatch/src/linearize.c
2242
add_multijmp(&switch_ins->multijmp_list, jmp);
usr/src/tools/smatch/src/linearize.c
2257
add_multijmp(&switch_ins->multijmp_list, jmp);
usr/src/tools/smatch/src/linearize.c
2395
add_multijmp(&goto_ins->multijmp_list, jmp);