hpt_pci_intr      254 dev/pci/pciide.c int  hpt_pci_intr(void *);
hpt_pci_intr     5626 dev/pci/pciide.c 			    &ctlsize, hpt_pci_intr);