HPEE_IRQ_CHANNEL_MASK
pr_cont("IRQ %d ", c & HPEE_IRQ_CHANNEL_MASK);
eisa_make_irq_level(c & HPEE_IRQ_CHANNEL_MASK);
eisa_make_irq_edge(c & HPEE_IRQ_CHANNEL_MASK);