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