rt_hw_ipi_send (reference) in projects: bsp

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

/bsp/ft2004/drivers/
A D	secondary_cpu.c	`59 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_hw_secondary_cpu_up()`
/bsp/k210/board/
A D	cpuport_smp.c	`43 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() function`
/bsp/qemu-vexpress-a9/drivers/
A D	secondary_cpu.c	`50 rt_hw_ipi_send(0, RT_CPU_MASK ^ (1 << rt_hw_cpu_id())); in rt_hw_secondary_cpu_up()`
/bsp/phytium/board/
A D	smp_sgi_test.c	`92 rt_hw_ipi_send(RT_TEST_IPI, cpu_mask); in smp_sgi_test_thread()`
/bsp/raspberry-pi/raspi3-32/cpu/
A D	interrupt.c	`157 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 D	drv_common_aarch32.c	`241 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_hw_secondary_cpu_up()`
/bsp/raspberry-pico/RP2040/libcpu/
A D	cpuport.c	`91 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() function`

Completed in 21 milliseconds