BHND_PMU_TIMER
start = BHND_PMU_READ_4(sc, BHND_PMU_TIMER);
end = BHND_PMU_READ_4(sc, BHND_PMU_TIMER);