Symbol: gtmr_cntk_ctl_write
sys/arch/aarch64/include/armreg.h
1765
gtmr_cntk_ctl_write(uint32_t val)
sys/arch/arm/include/armreg.h
989
gtmr_cntk_ctl_write(uint32_t val)