Searched defs:l4_rdtsc (Results 1 – 3 of 3) sorted by relevance
120 l4_rdtsc (void) in l4_rdtsc() function
189 l4_rdtsc (void) in l4_rdtsc() function
187 l4_rdtsc (void) in l4_rdtsc() function
Completed in 5 milliseconds