Lines Matching refs:jmp
2869 jmp(&check_kind);2904 jmp(gc_required);2983 jmp(gc_required);3411 jmp(&done);3425 jmp(&have_double_value);3874 jmp(&done);4004 jmp(&leave_exit_frame);5114 jmp(&other_color);
