DISPC_DEFAULT_COLOR
dispc_write_reg(dispc, DISPC_DEFAULT_COLOR(channel), color);
DUMPREG(dispc, i, DISPC_DEFAULT_COLOR);
dispc_write_reg(DISPC_DEFAULT_COLOR(channel), color);
DUMPREG(i, DISPC_DEFAULT_COLOR);