caravel/docs/pdf/irq_function.pdf