eb64plus_intr_enable
pc->pc_intr_enable = eb64plus_intr_enable;
extern void eb64plus_intr_enable(pci_chipset_tag_t, int irq);