50,51d49
< void ivlb(ThreadContext *tc);
< void ivle(ThreadContext *tc);