drivers/video/fbdev/vga16fb.c

1139

char oldmask = selectmask();

drivers/video/fbdev/vga16fb.c

1151

selectmask();

drivers/video/fbdev/vga16fb.c

1181

selectmask();

drivers/video/fbdev/vga16fb.c

1201

selectmask();

drivers/video/fbdev/vga16fb.c

1209

selectmask();

drivers/video/fbdev/vga16fb.c

1254

selectmask();

drivers/video/fbdev/vga16fb.c

848

char oldmask = selectmask();

drivers/video/fbdev/vga16fb.c

933

selectmask();

drivers/video/fbdev/vga16fb.c

950

selectmask();