READ_PMUREG
val = READ_PMUREG(pmu, DOVE_PMU_CGCR);
tdc0 = READ_PMUREG(sc, DOVE_PMU_TDC0R);
READ_PMUREG(sc, DOVE_PMU_TDC0R) | DOVE_PMU_TDC0R_THERMSOFTRESET);
READ_PMUREG(sc, DOVE_PMU_TDC0R) & ~DOVE_PMU_TDC0R_THERMSOFTRESET);
cpucdc0 = READ_PMUREG(sc, DOVE_PMU_CPUCDC0R);
mask = READ_PMUREG(sc, DOVE_PMU_PMUIMR);
cause = READ_PMUREG(sc, DOVE_PMU_PMUICR);
status = READ_PMUREG(sc, DOVE_PMU_CPUSDFSSR);
cause0 = READ_PMUREG(sc, DOVE_PMU_PMUICR);
control = READ_PMUREG(sc, DOVE_PMU_CPUSDFSCR);
READ_PMUREG(sc, DOVE_PMU_PMUIMR) | DOVE_PMU_PMUI_DFSDONE);
cause1 = READ_PMUREG(sc, DOVE_PMU_PMUICR);
READ_PMUREG(sc, DOVE_PMU_CPUSDFSCR) | DOVE_PMU_CPUSDFSCR_DFSEN);
cause2 = READ_PMUREG(sc, DOVE_PMU_PMUICR);
status = READ_PMUREG(sc, DOVE_PMU_CPUSDFSSR);