Searched refs:sys_semihost_time (Results 1 – 5 of 5) sorted by relevance
39 sys_semihost_time(void) in sys_semihost_time() function
46 uintptr_t bits = sys_semihost_time(); in getentropy()
54 start_ticks = (uint64_t) sys_semihost_time() * tick_freq; in gettimeofday()
152 sys_semihost_time(void);
44 uintptr_t now = sys_semihost_time(); in main()
