Symbol: agtimer_init
sys/arch/arm64/dev/mainbus.c
107
agtimer_init();
sys/arch/arm64/dev/mainbus.c
97
void agtimer_init(void);
sys/arch/armv7/armv7/platform.c
31
void agtimer_init(void);
sys/arch/armv7/armv7/platform.c
57
agtimer_init();