Home
last modified time | relevance | path

Searched refs:rt_hw_ipi_send (Results 1 – 7 of 7) sorted by relevance

/bsp/ft2004/drivers/
A Dsecondary_cpu.c59 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_hw_secondary_cpu_up()
/bsp/k210/board/
A Dcpuport_smp.c43 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() function
/bsp/qemu-vexpress-a9/drivers/
A Dsecondary_cpu.c50 rt_hw_ipi_send(0, RT_CPU_MASK ^ (1 << rt_hw_cpu_id())); in rt_hw_secondary_cpu_up()
/bsp/phytium/board/
A Dsmp_sgi_test.c92 rt_hw_ipi_send(RT_TEST_IPI, cpu_mask); in smp_sgi_test_thread()
/bsp/raspberry-pi/raspi3-32/cpu/
A Dinterrupt.c157 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() function
/bsp/nuvoton/libraries/ma35/rtt_port/
A Ddrv_common_aarch32.c241 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_hw_secondary_cpu_up()
/bsp/raspberry-pico/RP2040/libcpu/
A Dcpuport.c91 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() function

Completed in 21 milliseconds