Home
last modified time | relevance | path

Searched refs:send_ipi_msg (Results 1 – 2 of 2) sorted by relevance

/bsp/raspberry-pi/raspi3-32/cpu/
A Dinterrupt.c162 send_ipi_msg(0, ipi_vector); in rt_hw_ipi_send()
166 send_ipi_msg(1, ipi_vector); in rt_hw_ipi_send()
170 send_ipi_msg(2, ipi_vector); in rt_hw_ipi_send()
174 send_ipi_msg(3, ipi_vector); in rt_hw_ipi_send()
A Dcp15.h53 static inline void send_ipi_msg(int cpu, int ipi_vector) in send_ipi_msg() function

Completed in 4 milliseconds