Go to the source code of this file.
Defines | |
| #define | L4_TSC_INIT_AUTO 0 |
| #define | L4_TSC_INIT_KERNEL 1 |
| #define | L4_TSC_INIT_CALIBRATE 2 |
Functions | |
| l4_cpu_time_t | l4_rdtsc (void) |
| Return current value of CPU-internal time stamp counter. | |
| l4_uint32_t | l4_rdtsc_32 (void) |
| l4_cpu_time_t | l4_rdpmc (int nr) |
| Return current value of CPU-internal performance measurement counter. | |
| l4_uint32_t | l4_rdpmc_32 (int nr) |
| l4_uint64_t | l4_tsc_to_ns (l4_cpu_time_t tsc) |
| Convert time stamp counter into ns. | |
| l4_uint64_t | l4_tsc_to_us (l4_cpu_time_t tsc) |
| Convert time stamp counter into micro seconds. | |
| void | l4_tsc_to_s_and_ns (l4_cpu_time_t tsc, l4_uint32_t *s, l4_uint32_t *ns) |
| Convert time stamp counter into s.ns. | |
| l4_cpu_time_t | l4_ns_to_tsc (l4_uint64_t ns) |
| Convert nano seconds into CPU ticks. | |
| void | l4_busy_wait_ns (l4_uint64_t ns) |
| Wait busy for a small amount of time. | |
| void | l4_busy_wait_us (l4_uint64_t us) |
| Wait busy for a small amount of time. | |
| l4_uint32_t | l4_calibrate_tsc (void) |
| Determine some scalers to be able to convert between real time and CPU ticks. | |
| L4_CV l4_uint32_t | l4_tsc_init (int constraint) |
| Initialize the scalers needed by l4_tsc_to_ns()/l4_ns_to_tsc() and so on. | |
| L4_CV l4_uint32_t | l4_get_hz (void) |
| Get CPU frequency in Hz. | |
| l4_uint32_t | l4_calibrate_tsc (void) |
| Determine some scalers to be able to convert between real time and CPU ticks. | |
| l4_cpu_time_t | l4_rdtsc (void) |
| Return current value of CPU-internal time stamp counter. | |
| l4_cpu_time_t | l4_rdpmc (int nr) |
| Return current value of CPU-internal performance measurement counter. | |
| l4_uint64_t | l4_tsc_to_ns (l4_cpu_time_t tsc) |
| Convert time stamp counter into ns. | |
| l4_uint64_t | l4_tsc_to_us (l4_cpu_time_t tsc) |
| Convert time stamp counter into micro seconds. | |
| void | l4_tsc_to_s_and_ns (l4_cpu_time_t tsc, l4_uint32_t *s, l4_uint32_t *ns) |
| Convert time stamp counter into s.ns. | |
| l4_cpu_time_t | l4_ns_to_tsc (l4_uint64_t ns) |
| Convert nano seconds into CPU ticks. | |
| void | l4_busy_wait_ns (l4_uint64_t ns) |
| Wait busy for a small amount of time. | |
| void | l4_busy_wait_us (l4_uint64_t us) |
| Wait busy for a small amount of time. | |
Variables | |
| l4_uint32_t | l4_scaler_tsc_to_ns |
| l4_uint32_t | l4_scaler_tsc_to_us |
| l4_uint32_t | l4_scaler_ns_to_tsc |
| l4_uint32_t | l4_scaler_tsc_linux |
Definition in file ARCH-x86/rdtsc.h.