setop             841 drivers/video/fbdev/vga16fb.c                 oldop = setop(0);
setop             864 drivers/video/fbdev/vga16fb.c                 oldop = setop(0x18);
setop             876 drivers/video/fbdev/vga16fb.c         setop(oldop);
setop             914 drivers/video/fbdev/vga16fb.c 				setop(0);
setop             931 drivers/video/fbdev/vga16fb.c 				setop(0x18);
setop             960 drivers/video/fbdev/vga16fb.c         char oldop = setop(0);
setop            1006 drivers/video/fbdev/vga16fb.c         setop(oldop);
setop            1061 drivers/video/fbdev/vga16fb.c 			setop(0);
setop            1121 drivers/video/fbdev/vga16fb.c         char oldop = setop(0);
setop            1138 drivers/video/fbdev/vga16fb.c         setop(0x18);
setop            1143 drivers/video/fbdev/vga16fb.c         setop(oldop);
setop            1162 drivers/video/fbdev/vga16fb.c 				setop(0);
setop            1182 drivers/video/fbdev/vga16fb.c 				setop(0);
setop            1230 drivers/video/fbdev/vga16fb.c 			setop(0);