5 #ifndef OPENTITAN_SW_DEVICE_LIB_DIF_DIF_RV_TIMER_H_
6 #define OPENTITAN_SW_DEVICE_LIB_DIF_DIF_RV_TIMER_H_
18 #include "sw/device/lib/dif/autogen/dif_rv_timer_autogen.h"
85 uint64_t clock_freq, uint64_t counter_freq,
142 uint32_t hart_id, uint64_t *out);
154 uint32_t hart_id, uint64_t count);
186 uint32_t comp_id, uint64_t threshold);