static inline void mask_irq(unsigned int irq_nr) { if ((PNX8550_INT_CP0_MIN <= irq_nr) && (irq_nr <= PNX8550_INT_CP0_MAX)) { modify_cp0_intmask(1 << irq_nr, 0); } else if ((PNX8550_INT_GIC_MIN <= irq_nr) && (irq_nr <= PNX8550_INT_GIC_MAX)) { mask_gic_int(irq_nr - PNX8550_INT_GIC_MIN); } else if ((PNX8550_INT_TIMER_MIN <= irq_nr) && (irq_nr <= PNX8550_INT_TIMER_MAX)) { modify_cp0_intmask(1 << 7, 0); } else { printf("mask_irq: irq %d doesn't exist!\n", irq_nr); } }
static inline void unmask_irq(unsigned int irq_nr) { modify_cp0_intmask(0, irq_to_pil(irq_nr)); }
static inline void mask_irq(unsigned int irq_nr) { modify_cp0_intmask(irq_to_pil(irq_nr), 0); }
static inline void unmask_cpu_irq_input(unsigned int irq_nr) { modify_cp0_intmask(0, irq_nr); }
static inline void mask_cpu_irq_input(unsigned int irq_nr) { modify_cp0_intmask(irq_nr, 0); }