Searched refs:readmtime (Results 1 – 3 of 3) sorted by relevance
105 uint64_t starttime = readmtime(); in sleep_ms()109 endtime = readmtime(); in sleep_ms()
77 uint64_t readmtime(void);
39 uint64_t readmtime(void) in readmtime() function
