cfxga_repaint_screen  154 dev/pcmcia/cfxga.c int	cfxga_repaint_screen(struct cfxga_screen *);
cfxga_repaint_screen  795 dev/pcmcia/cfxga.c 		cfxga_repaint_screen(sc->sc_active);