selectmask        832 drivers/video/fbdev/vga16fb.c         char oldmask = selectmask();
selectmask        917 drivers/video/fbdev/vga16fb.c 				selectmask();
selectmask        934 drivers/video/fbdev/vga16fb.c 				selectmask();
selectmask       1123 drivers/video/fbdev/vga16fb.c         char oldmask = selectmask();
selectmask       1135 drivers/video/fbdev/vga16fb.c         selectmask();
selectmask       1165 drivers/video/fbdev/vga16fb.c 				selectmask();
selectmask       1185 drivers/video/fbdev/vga16fb.c 				selectmask();
selectmask       1193 drivers/video/fbdev/vga16fb.c 						selectmask();
selectmask       1238 drivers/video/fbdev/vga16fb.c 					selectmask();