Searched refs:arch_send_wakeup_ipi (Results 1 – 3 of 3) sorted by relevance
81 extern void arch_send_wakeup_ipi(unsigned int cpu);83 static inline void arch_send_wakeup_ipi(unsigned int cpu) in arch_send_wakeup_ipi() function
106 arch_send_wakeup_ipi(cpu); in acpi_parking_protocol_cpu_boot()
1115 void arch_send_wakeup_ipi(unsigned int cpu) in arch_send_wakeup_ipi() function