Searched refs:cpu_riscv_read_rtc (Results 1 – 2 of 2) sorted by relevance
48 static uint64_t cpu_riscv_read_rtc(void *opaque) in cpu_riscv_read_rtc() function67 uint64_t rtc = cpu_riscv_read_rtc(mtimer); in riscv_aclint_mtimer_write_timecmp()153 uint64_t rtc = cpu_riscv_read_rtc(mtimer); in riscv_aclint_mtimer_read()157 return (cpu_riscv_read_rtc(mtimer) >> 32) & 0xFFFFFFFF; in riscv_aclint_mtimer_read()211 uint64_t rtc = cpu_riscv_read_rtc(mtimer); in riscv_aclint_mtimer_write()387 riscv_cpu_set_rdtime_fn(env, cpu_riscv_read_rtc, dev); in riscv_aclint_mtimer_create()
55 static uint64_t cpu_riscv_read_rtc(uint32_t timebase_freq) in cpu_riscv_read_rtc() function66 uint64_t now = cpu_riscv_read_rtc(s->timebase_freq); in ibex_timer_update_irqs()139 uint64_t now = cpu_riscv_read_rtc(s->timebase_freq); in ibex_timer_read()