alpha_pci_generic_intr_disestablish
void alpha_pci_generic_intr_disestablish(pci_chipset_tag_t, void *);
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;
alpha_pci_generic_intr_disestablish(pc, cookie);
return alpha_pci_generic_intr_disestablish(pc, cookie);
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;
pc->pc_intr_disestablish = alpha_pci_generic_intr_disestablish;