Searched refs:target_cpu (Results 1 – 9 of 9) sorted by relevance
69 arch_smp_send_ici(int32 target_cpu) in arch_smp_send_ici() argument74 sbi_send_ipi((uint64)1 << gCPU[target_cpu].arch.hartId, 0); in arch_smp_send_ici()
18 void arch_smp_send_ici(int target_cpu) in arch_smp_send_ici() argument
34 arch_smp_send_ici(int32 target_cpu) in arch_smp_send_ici() argument
20 void arch_smp_send_ici(int32 target_cpu);
31 arch_smp_send_ici(int32 target_cpu) in arch_smp_send_ici() argument
46 arch_smp_send_ici(int32 target_cpu) in arch_smp_send_ici() argument
218 arch_smp_send_ici(int32 target_cpu) in arch_smp_send_ici() argument227 uint32 destination = sCPUAPICIds[target_cpu]; in arch_smp_send_ici()