eb64plus_intr_enable
extern void eb64plus_intr_enable(int irq); /* pci_eb64plus_intr.S */
eb64plus_intr_enable(ih);