vga_pci_mmap       98 dev/pci/vga_pci.c paddr_t	vga_pci_mmap(void* v, off_t off, int prot);
vga_pci_mmap      174 dev/pci/vga_pci.c 		    WSDISPLAY_TYPE_PCIVGA, vga_pci_mmap);