src/api/syscall.c

47     if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
583     if (IRQT_TO_IRQ(irq) == KERNEL_TIMER_IRQ) {
633                 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
646                 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
658                 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
701                 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {
716                 if (IRQT_TO_IRQ(irq) != IRQT_TO_IRQ(irqInvalid)) {