Searched refs:l4_ns_to_tsc (Results 1 – 3 of 3) sorted by relevance
110 l4_ns_to_tsc (l4_uint64_t ns);321 l4_ns_to_tsc (l4_uint64_t ns) in l4_ns_to_tsc() function348 stop += l4_ns_to_tsc(ns); in l4_busy_wait_ns()358 stop += l4_ns_to_tsc(us*1000ULL); in l4_busy_wait_us()
108 l4_ns_to_tsc (l4_uint64_t ns);305 l4_ns_to_tsc (l4_uint64_t ns) in l4_ns_to_tsc() function322 stop += l4_ns_to_tsc(ns); in l4_busy_wait_ns()332 stop += l4_ns_to_tsc(us*1000ULL); in l4_busy_wait_us()
142 return (l4_uint32_t)(l4_ns_to_tsc(1000000000UL)); in l4_get_hz()
Completed in 5 milliseconds