emuxki_mappage    195 dev/pci/emuxki.c paddr_t	emuxki_mappage(void *, void *, off_t, int);
emuxki_mappage    253 dev/pci/emuxki.c 	emuxki_mappage,