src/system/kernel/arch/arm/arch_smp.cpp

46

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/arm64/arch_smp.cpp

39

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/m68k/arch_smp.cpp

46

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/mips/arch_smp.cpp

18

void arch_smp_send_ici(int target_cpu)

src/system/kernel/arch/ppc/arch_smp.cpp

31

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/riscv64/arch_smp.cpp

69

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/sparc/arch_smp.cpp

46

arch_smp_send_ici(int32 target_cpu)

src/system/kernel/arch/x86/arch_smp.cpp

218

arch_smp_send_ici(int32 target_cpu)