sv_mappage        157 dev/pci/sv.c   paddr_t	sv_mappage(void *, void *, off_t, int);
sv_mappage        185 dev/pci/sv.c   	sv_mappage,