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