fbiinit0          697 drivers/video/fbdev/sstfb.c 	u32 fbiinit0, tmp;
fbiinit0          707 drivers/video/fbdev/sstfb.c 	fbiinit0 = sst_read (FBIINIT0);
fbiinit0          709 drivers/video/fbdev/sstfb.c 		sst_write(FBIINIT0, fbiinit0 & ~DIS_VGA_PASSTHROUGH);
fbiinit0          712 drivers/video/fbdev/sstfb.c 		sst_write(FBIINIT0, fbiinit0 | DIS_VGA_PASSTHROUGH);
fbiinit0         1146 drivers/video/fbdev/sstfb.c 	u32 fbiinit0, fbiinit1, fbiinit4;
fbiinit0         1208 drivers/video/fbdev/sstfb.c 	fbiinit0 = FBIINIT0_DEFAULT;
fbiinit0         1213 drivers/video/fbdev/sstfb.c 		fbiinit0 &= ~DIS_VGA_PASSTHROUGH;
fbiinit0         1215 drivers/video/fbdev/sstfb.c 		fbiinit0 |= DIS_VGA_PASSTHROUGH;
fbiinit0         1223 drivers/video/fbdev/sstfb.c 	sst_write(FBIINIT0, fbiinit0);