Searched refs:ipi_vector (Results 1 – 1 of 1) sorted by relevance
67 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() argument71 rt_pic_irq_send_ipi(ipi_vector, cpu_masks); in rt_hw_ipi_send()74 void rt_hw_ipi_handler_install(int ipi_vector, rt_isr_handler_t ipi_isr_handler) in rt_hw_ipi_handler_install() argument77 rt_hw_interrupt_install(ipi_vector, ipi_isr_handler, 0, "IPI_HANDLER"); in rt_hw_ipi_handler_install()
Completed in 2 milliseconds