Home
last modified time | relevance | path

Searched refs:l4_get_hz (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c137 l4_get_hz (void) in l4_get_hz() function
/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h174 l4_get_hz (void);
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h172 l4_get_hz (void);

Completed in 4 milliseconds