ahci_intr         470 dev/pci/ahci.c int			ahci_intr(void *);
ahci_intr         743 dev/pci/ahci.c 	    ahci_intr, sc, DEVNAME(sc));