SPDB_INTR
DPRINTF(SPDB_INTR,
DPRINTF(SPDB_INTR,
DPRINTF(SPDB_INTR, ("pci_intr_disestablish: cookie %p\n", cookie));
DPRINTF(SPDB_INTR, ("pci_intr_string: returning %s\n", buf));
DPRINTF(SPDB_INTR, ("pci_intr_disestablish: cookie %p\n", cookie));