VML_DSPCPOS       741 drivers/video/fbdev/vermilion/vermilion.c 	       (unsigned)VML_READ32(par, VML_DSPCPOS));
VML_DSPCPOS       842 drivers/video/fbdev/vermilion/vermilion.c 	VML_WRITE32(par, VML_DSPCPOS, 0x00000000);