8 #include "sw/device/silicon_creator/lib/drivers/ibex.h"
19 static __thread uint64_t time_zero;
21 static uint64_t current_time_us(
void) {
23 clock_gettime(CLOCK_MONOTONIC, &tp);
24 return tp.tv_sec * 1000000 + tp.tv_nsec / 1000;
27 void ibex_mcycle_zero(
void) { time_zero = current_time_us(); }
29 uint64_t ibex_mcycle(
void) {
return current_time_us() - time_zero; }
31 uint32_t ibex_mcycle32(
void) {
return (uint32_t)ibex_mcycle(); }
33 uint64_t ibex_time_to_cycles(uint64_t time_us) {
return time_us; }