disp_b_ctrl       217 drivers/video/fbdev/intelfb/intelfb.h 	u32 disp_b_ctrl;
disp_b_ctrl       479 drivers/video/fbdev/intelfb/intelfbhw.c 	if (hw->disp_b_ctrl & DISPPLANE_PLANE_ENABLE) {
disp_b_ctrl       480 drivers/video/fbdev/intelfb/intelfbhw.c 		pipe = (hw->disp_b_ctrl >> DISPPLANE_SEL_PIPE_SHIFT);
disp_b_ctrl       616 drivers/video/fbdev/intelfb/intelfbhw.c 	hw->disp_b_ctrl = INREG(DSPBCNTR);
disp_b_ctrl       839 drivers/video/fbdev/intelfb/intelfbhw.c 	printk("	DSPBCNTR:		0x%08x\n", hw->disp_b_ctrl);