Searched defs:intc_ipr0 (Results 1 – 2 of 2) sorted by relevance
142 rt_uint32_t intc_ipr0 = 0, intc_ipr1 = 0, vpu_pending = 0; in rt_interrupt_dispatch() local
114 rt_uint32_t intc_ipr0 = 0, intc_ipr1 = 0, vpu_pending = 0; in rt_interrupt_dispatch() local