STAT_COUNT
PSCI_ID_NATIVE(1_0, STAT_COUNT),
u64 hw_stat_base[STAT_COUNT];
u32 hw_last_counter[STAT_COUNT];
for (stat = 0; stat < STAT_COUNT; stat++) {
for (stat = 0; stat < STAT_COUNT; stat++) {