alpha_shared_intr_disestablish
void alpha_shared_intr_disestablish(struct alpha_shared_intr *, void *);
alpha_shared_intr_disestablish(dec_1000_pci_intr, cookie);
alpha_shared_intr_disestablish(dec_1000a_pci_intr, cookie);
alpha_shared_intr_disestablish(dec_550_pci_intr, cookie);
alpha_shared_intr_disestablish(dec_6600_pci_intr, cookie);
alpha_shared_intr_disestablish(eb164_pci_intr, cookie);
alpha_shared_intr_disestablish(eb64plus_pci_intr, cookie);
alpha_shared_intr_disestablish(kn20aa_pci_intr, cookie);
alpha_shared_intr_disestablish(sio_intr, cookie);