| 69 | extern void rt_hw_ipi_handler_install(int ipi_vector, rt_isr_handler_t ipi_isr_handler); |
| 70 | |
| 71 | void ipi_handler() |
| 72 | { |
| 73 | rt_scheduler_ipi_handler(0,RT_NULL); |
| 74 | } |
| 75 | #endif |
| 76 | |
| 77 | void idle_wfi(void) |
nothing calls this directly
no test coverage detected