When a device generates an interrupt,

• processor saves some state
• processor switches to kernel routine (do_IRQ())
• interrupt handler function is executed

• interrupt handler
• preemptible kernel
• disabling/enabling interrupts