VVBASE             55 drivers/video/fbdev/mbx/mbxdebugfs.c 	s += sprintf(s, "VVBASE = %08x\n", readl(VVBASE));
VVBASE            350 drivers/video/fbdev/mbx/mbxfb.c 	vvbase = readl(VVBASE);
VVBASE            451 drivers/video/fbdev/mbx/mbxfb.c 	write_reg(vvbase, VVBASE);