static inline void pnx833x_hard_enable_pic_irq(unsigned int irq) { /* Currently we do this by setting IRQ priority to 1. If priority support is being implemented, 1 should be repalced by a better value. */ PNX833X_PIC_INT_REG(irq) = irq_prio[irq]; }
static inline void pnx833x_hard_enable_pic_irq(unsigned int irq) { /* */ PNX833X_PIC_INT_REG(irq) = irq_prio[irq]; }
static inline void pnx833x_hard_disable_pic_irq(unsigned int irq) { /* Disable IRQ by writing setting it's priority to 0 */ PNX833X_PIC_INT_REG(irq) = 0; }
static inline void pnx833x_hard_disable_pic_irq(unsigned int irq) { /* */ PNX833X_PIC_INT_REG(irq) = 0; }