/* * Deregister an interrupt handler. */ void obio_intr_disestablish(void *arg) { extintr_disestablish(arg); }
void landisk_pci_intr_disestablish(void *v, void *cookie) { extintr_disestablish(cookie); }
/* * Deregister an interrupt handler. */ void obio_intr_disestablish(void *arg) { extintr_disestablish(arg); }
void landisk_pci_intr_disestablish(void *v, void *cookie) { extintr_disestablish(cookie); }