Lines Matching defs:irq
143 interrupt_t irq = servicePendingIRQ();
148 "movq %[irq], %%rdi\n"
152 [syscall] "i"(0), /* syscall is unused for irq path */
153 [irq] "r"((seL4_Word)irq)
201 * by the user. To prevent a storage channel across threads through the irq stack,
206 * the kernel, clear the irq stack. */
403 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall);
404 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall)
419 c_handle_interrupt(irq, syscall);