DOVE_PMU_TDC0R
tdc0 = READ_PMUREG(sc, DOVE_PMU_TDC0R);
WRITE_PMUREG(sc, DOVE_PMU_TDC0R, tdc0);
WRITE_PMUREG(sc, DOVE_PMU_TDC0R,
READ_PMUREG(sc, DOVE_PMU_TDC0R) | DOVE_PMU_TDC0R_THERMSOFTRESET);
WRITE_PMUREG(sc, DOVE_PMU_TDC0R,
READ_PMUREG(sc, DOVE_PMU_TDC0R) & ~DOVE_PMU_TDC0R_THERMSOFTRESET);