Filled out top half of IRQ handler