Searched defs:core_id (Results 1 – 2 of 2) sorted by relevance
21 uint64_t core_id = current_coreid(); in tick_isr() local33 unsigned long core_id = current_coreid(); in rt_hw_tick_init() local
47 unsigned long core_id = 0; in rt_hw_plic_irq_enable() local63 unsigned long core_id = 0; in rt_hw_plic_irq_disable() local201 uint64_t core_id = current_coreid(); in handle_irq_m_ext() local251 uint64_t core_id = current_coreid(); in handle_trap() local