eb64plus_intr_disable
pc->pc_intr_disable = eb64plus_intr_disable;
eb64plus_intr_disable(pc, i);
extern void eb64plus_intr_disable(pci_chipset_tag_t, int irq);