piixpm_intr        76 dev/pci/piixpm.c int	piixpm_intr(void *);
piixpm_intr       148 dev/pci/piixpm.c 				    ih, IPL_BIO, piixpm_intr, sc,
piixpm_intr       285 dev/pci/piixpm.c 		piixpm_intr(sc);