Searched refs:sys_semihost_tickfreq (Results 1 – 5 of 5) sorted by relevance
39 sys_semihost_tickfreq(void) in sys_semihost_tickfreq() function
45 return sys_semihost_tickfreq(); in sysconf()
53 tick_freq = sys_semihost_tickfreq(); in gettimeofday()
149 sys_semihost_tickfreq(void);
44 tickfreq = sys_semihost_tickfreq(); in main()
