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