eisa_make_irq_edge
extern void eisa_make_irq_edge(int num);
eisa_make_irq_edge(val); /* clear the corresponding bit */
eisa_make_irq_edge(c & HPEE_IRQ_CHANNEL_MASK);