Searched refs:word_index (Results 1 – 2 of 2) sorted by relevance
116 void plic_set_ie(rt_uint32_t word_index, rt_uint32_t val) in plic_set_ie() argument118 …volatile void *plic_ie = (void *)(rt_ubase_t)(plic_base + PLIC_ENABLE_BASE + 0x80 + word_index * 4… in plic_set_ie()
76 void plic_set_ie(rt_uint32_t word_index,rt_uint32_t val);
Completed in 9 milliseconds