VBBASE             49 drivers/video/fbdev/mbx/mbxdebugfs.c 	s += sprintf(s, "VBBASE = %08x\n", readl(VBBASE));
VBBASE            591 drivers/video/fbdev/mbx/mbxfb.c 	write_reg_dly(vbbase, VBBASE);