DISPC_TIMING_H
dispc_write_reg(dispc, DISPC_TIMING_H(channel), timing_h);
DUMPREG(dispc, i, DISPC_TIMING_H);
dispc_write_reg(DISPC_TIMING_H(channel), timing_h);
DUMPREG(i, DISPC_TIMING_H);