ID_PFR1_GEN_TIMER_EXT 53 kernel/arch/arm32/include/arch/cycle.h ID_PFR1_GEN_TIMER_EXT) { ID_PFR1_GEN_TIMER_EXT 195 kernel/arch/arm32/src/cpu/cpu.c ID_PFR1_GEN_TIMER_EXT) {