Assembly translation of irq handler