Symbol: getindex
drivers/video/fbdev/vga16fb.c
1135
char oldindex = getindex();
drivers/video/fbdev/vga16fb.c
846
char oldindex = getindex();
drivers/video/fbdev/vga16fb.c
974
char oldindex = getindex();