getindex          830 drivers/video/fbdev/vga16fb.c         char oldindex = getindex();
getindex          958 drivers/video/fbdev/vga16fb.c         char oldindex = getindex();
getindex         1119 drivers/video/fbdev/vga16fb.c         char oldindex = getindex();