VML_VTOTAL_A      731 drivers/video/fbdev/vermilion/vermilion.c 	       (unsigned)VML_READ32(par, VML_VTOTAL_A));
VML_VTOTAL_A      834 drivers/video/fbdev/vermilion/vermilion.c 	VML_WRITE32(par, VML_VTOTAL_A, ((vtotal - 1) << 16) | (vactive - 1));