Searched refs:tickfreq (Results 1 – 3 of 3) sorted by relevance
42 uintptr_t tickfreq; in main() local44 tickfreq = sys_semihost_tickfreq(); in main()45 if (tickfreq == 0) { in main()46 printf("invalid tickfreq %lld\n", (long long) tickfreq); in main()49 printf("tickfreq %lld\n", (long long) tickfreq); in main()
63 'semihost-tickfreq',
836 test/semihost/semihost-tickfreq.c
