DISPC_SIZE_MGR
dispc_write_reg(dispc, DISPC_SIZE_MGR(channel), val);
DUMPREG(dispc, i, DISPC_SIZE_MGR);
dispc_write_reg(DISPC_SIZE_MGR(channel), val);
DUMPREG(i, DISPC_SIZE_MGR);