Index: kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision 2be2506abdabb8469521db65a95b985ee11638e7)
+++ kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision 0cf524647a3e8d37ff9483a5777c061c2a165379)
@@ -290,6 +290,4 @@
 {
 	ASSERT(regs);
-#define WRITE_DUMP(name, value) \
-	printf("Writing %s %p: %x. New: %x\n", #name, &regs->name, value, regs->name)
 	/* Init sequence for dispc is in chapter 7.6.5.1.4 p. 1810,
 	 * no idea what parts of that work. */
@@ -335,13 +333,9 @@
 	/* setup output */
 	regs->size_lcd = size_reg;
-	WRITE_DUMP(size_lcd, size_reg);
 	regs->size_dig = size_reg;
-	WRITE_DUMP(size_dig, size_reg);
 
 	/* Nice blue default color */
 	regs->default_color[0] = 0x0000ff;
 	regs->default_color[1] = 0x0000ff;
-	WRITE_DUMP(default_color[0], 0xff);
-	WRITE_DUMP(default_color[1], 0xff);
 
 	/* Setup control register */
@@ -352,5 +346,4 @@
 		AMDM37X_DISPC_CONTROL_GPOUT1_FLAG;
 	regs->control = control;
-	WRITE_DUMP(control, control);
 
 	/* No gamma stuff only data */
@@ -358,5 +351,4 @@
 	            << AMDM37X_DISPC_CONFIG_LOADMODE_SHIFT);
 	regs->config = config;
-	WRITE_DUMP(config, config);
 
 
@@ -365,12 +357,7 @@
 	regs->gfx.ba[1] = pa;
 	regs->gfx.position = 0;
-	WRITE_DUMP(gfx.ba[0], pa);
-	WRITE_DUMP(gfx.ba[1], pa);
-	WRITE_DUMP(gfx.position, 0);
 
 	/* Setup fb size */
 	regs->gfx.size = size_reg;
-	WRITE_DUMP(gfx.size, size_reg);
-
 
 	/* Set pixel format */
@@ -378,5 +365,4 @@
 	    (attrib_pixel_format << AMDM37X_DISPC_GFX_ATTRIBUTES_FORMAT_SHIFT);
 	regs->gfx.attributes = attribs;
-	WRITE_DUMP(gfx.attributes, attribs);
 
 	/* 0x03ff03c0 is the default */
@@ -391,9 +377,4 @@
 	/* Gamma and palette table */
 	regs->gfx.table_ba = 0;
-	WRITE_DUMP(gfx.fifo_threshold, 0x03ff03c0);
-	WRITE_DUMP(gfx.row_inc, 1);
-	WRITE_DUMP(gfx.pixel_inc, 1);
-	WRITE_DUMP(gfx.window_skip, 0);
-	WRITE_DUMP(gfx.table_ba, 0);
 
 	/* enable frame buffer graphics */
