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; }