DINTRE             84 drivers/video/fbdev/mbx/mbxdebugfs.c 	s += sprintf(s, "DINTRE = %08x\n", readl(DINTRE));
DINTRE            310 drivers/video/fbdev/mbx/mbxfb.c 	write_reg_dly(DINTRE_VEVENT0_EN, DINTRE);