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;
}