disp_b_base       219 drivers/video/fbdev/intelfb/intelfb.h 	u32 disp_b_base;
disp_b_base       618 drivers/video/fbdev/intelfb/intelfbhw.c 	hw->disp_b_base = INREG(DSPBBASE);
disp_b_base       841 drivers/video/fbdev/intelfb/intelfbhw.c 	printk("	DSPBBASE:		0x%08x\n", hw->disp_b_base);