Searched refs:l4_rdtsc_32 (Results 1 – 3 of 3) sorted by relevance
58 l4_uint32_t l4_rdtsc_32(void);144 l4_uint32_t l4_rdtsc_32(void) in l4_rdtsc_32() function
63 l4_uint32_t l4_rdtsc_32(void);208 l4_uint32_t l4_rdtsc_32(void) in l4_rdtsc_32() function
61 l4_uint32_t l4_rdtsc_32(void);248 l4_uint32_t l4_rdtsc_32(void) in l4_rdtsc_32() function
Completed in 4 milliseconds