Searched refs:get_hart_mtimecmp (Results 1 – 1 of 1) sorted by relevance
91 static uintptr_t get_hart_mtimecmp(void) in get_hart_mtimecmp() function99 *(volatile uint64_t *)get_hart_mtimecmp() = time; in set_mtimecmp()101 volatile uint32_t *r = (uint32_t *)get_hart_mtimecmp(); in set_mtimecmp()
