ahd_platform_intr  281 dev/ic/aic79xx_openbsd.h int			ahd_platform_intr(void *);
ahd_platform_intr  515 dev/pci/ahd_pci.c 	ahd_platform_intr, ahd, ahd->sc_dev.dv_xname);