32     int64_t target, time;  in trusty_nanodelay()  local
39     rc = trusty_gettime(clock_id, &time);  in trusty_nanodelay()
42     target = time + sleep_time;  in trusty_nanodelay()
44     while (time < target) {  in trusty_nanodelay()
45         rc = trusty_gettime(clock_id, &time);  in trusty_nanodelay()
105 int trusty_gettime(clockid_t clock_id, int64_t* time) {  in trusty_gettime()  argument
106     return _trusty_gettime(clock_id, 0, time);  in trusty_gettime()
114     int64_t time;  in __clock_gettime()  local
115     int rc = trusty_gettime(clock_id, &time);  in __clock_gettime()
121     ts->tv_sec = (time_t)(time / NS_PER_SEC);  in __clock_gettime()
122     ts->tv_nsec = (long)(time % NS_PER_SEC);  in __clock_gettime()