Searched refs:arch_send_wakeup_ipi (Results 1 – 2 of 2) sorted by relevance
106 arch_send_wakeup_ipi(cpu); in acpi_parking_protocol_cpu_boot()
1188 void arch_send_wakeup_ipi(unsigned int cpu) in arch_send_wakeup_ipi() function