Symbol: do_interrupt