Searched defs:mhart_id (Results 1 – 2 of 2) sorted by relevance
53 uint64_t mhart_id = read_csr(mhartid); in SysTick_Config() local
717 uint64_t mhart_id = read_csr(mhartid); in handle_local_interrupt() local
