maestro_mappage   495 dev/pci/maestro.c paddr_t	maestro_mappage(void *, void *, off_t, int);
maestro_mappage   570 dev/pci/maestro.c 	maestro_mappage,