Symbol: TGA_PIXELSHIFT_REG
drivers/video/fbdev/tgafb.c
1072
__raw_writel(0, tga_regs+TGA_PIXELSHIFT_REG);
drivers/video/fbdev/tgafb.c
1120
__raw_writel(0, tga_regs+TGA_PIXELSHIFT_REG);
drivers/video/fbdev/tgafb.c
1214
__raw_writel(0, tga_regs+TGA_PIXELSHIFT_REG);