Searched refs:rt_interrupt_dispatch (Results 1 – 8 of 8) sorted by relevance
29 void rt_interrupt_dispatch(void *ptreg);117 void rt_interrupt_dispatch(void *ptreg) in rt_interrupt_dispatch() function
112 jal rt_interrupt_dispatch
32 void rt_interrupt_dispatch(void *ptreg);178 void rt_interrupt_dispatch(void *ptreg) in rt_interrupt_dispatch() function
124 jal rt_interrupt_dispatch
264 .global rt_interrupt_dispatch symbol291 jal rt_interrupt_dispatch
108 void rt_interrupt_dispatch(void *ptreg) in rt_interrupt_dispatch() function
109 jal rt_interrupt_dispatch
134 void rt_interrupt_dispatch(void *ptreg) in rt_interrupt_dispatch() function