7#include "hw/top/dt/rv_core_ibex.h"
11#include "hw/top/rv_core_ibex_regs.h"
17static inline uintptr_t rv_core_ibex_base(
void) {
18 return (uintptr_t)dt_rv_core_ibex_primary_reg_block(kRvCoreIbexDt);
28const uint64_t kClockFreqCpuMhz = 24;
32uint64_t
to_cpu_cycles(uint64_t usec) {
return usec * kClockFreqCpuMhz; }
49const uint32_t kUartBaud230K =
51const uint32_t kUartBaud460K =
53const uint32_t kUartBaud921K =
55const uint32_t kUartBaud1M33 =
57const uint32_t kUartBaud1M50 =
64 return rv_core_ibex_base() + RV_CORE_IBEX_DV_SIM_WINDOW_REG_OFFSET;