Symbol: gtmr_cntpct_read
sys/arch/aarch64/include/armreg.h
1775
gtmr_cntpct_read(void)
sys/arch/arm/include/armreg.h
996
gtmr_cntpct_read(void)