Searched refs:system_ns (Results 1 – 1 of 1) sorted by relevance
268 uint64_t system_ns; in pvclock_gettime() local271 system_ns = pvclock_getsystime(pvc); in pvclock_gettime()272 system_ts.tv_sec = system_ns / 1000000000ULL; in pvclock_gettime()273 system_ts.tv_nsec = system_ns % 1000000000ULL; in pvclock_gettime()