DVDET              97 drivers/video/fbdev/mbx/mbxdebugfs.c 	s += sprintf(s, "DVDET = %08x\n", readl(DVDET));
DVDET             305 drivers/video/fbdev/mbx/mbxfb.c 	write_reg_dly((Dvdet_Vdes(vas) | Dvdet_Vdef(vfps)), DVDET);