VML_DSPCCNTR      705 drivers/video/fbdev/vermilion/vermilion.c 	VML_WRITE32(par, VML_DSPCCNTR,
VML_DSPCCNTR      706 drivers/video/fbdev/vermilion/vermilion.c 		    VML_READ32(par, VML_DSPCCNTR) & ~VML_GFX_ENABLE);
VML_DSPCCNTR      707 drivers/video/fbdev/vermilion/vermilion.c 	(void)VML_READ32(par, VML_DSPCCNTR);
VML_DSPCCNTR      755 drivers/video/fbdev/vermilion/vermilion.c 	       (unsigned)VML_READ32(par, VML_DSPCCNTR));
VML_DSPCCNTR      852 drivers/video/fbdev/vermilion/vermilion.c 	VML_WRITE32(par, VML_DSPCCNTR, dspcntr);