Searched refs:PMCR_ECNT_RESET (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/include/arch/arm/arch/
H A Dbenchmark.h18 #define PMCR_ECNT_RESET 1 macro
/seL4-l4v-master/seL4/src/arch/arm/benchmark/
H A Dbenchmark.c26 uint32_t val = (BIT(PMCR_ENABLE) | BIT(PMCR_CCNT_RESET) | BIT(PMCR_ECNT_RESET));

Completed in 29 milliseconds