Searched refs:mhart_id (Results 1 – 2 of 2) sorted by relevance
53 uint64_t mhart_id = read_csr(mhartid); in SysTick_Config() local62 …g_systick_increment[mhart_id] = ((LIBERO_SETTING_MSS_RTC_TOGGLE_CLK/1000U) * tick_rate[mhart_id]); in SysTick_Config()64 if (g_systick_increment[mhart_id] > 0ULL) in SysTick_Config()67 CLINT->MTIMECMP[mhart_id] = CLINT->MTIME + g_systick_increment[mhart_id]; in SysTick_Config()
717 uint64_t mhart_id = read_csr(mhartid); in handle_local_interrupt() local719 local_int_p_t *local_int_table = local_int_mux[mhart_id]; in handle_local_interrupt()
