Symbol: get_el1
sys/arm/arm/generic_timer.c
176
#define get_el1(x) cp15_## x ##_get()
sys/arm/arm/generic_timer.c
183
#define get_el1(x) READ_SPECIALREG(x ##_el1)