vga_pcvt_mapchar 1191 dev/ic/vga.c   int vga_pcvt_mapchar(int, unsigned int *);
vga_pcvt_mapchar 1235 dev/ic/vga.c   		return (vga_pcvt_mapchar(uni, index));