| // Copyright 2016 The Fuchsia Authors |
| // Copyright (c) 2014 Travis Geiselbrecht |
| // |
| // Use of this source code is governed by a MIT-style |
| // license that can be found in the LICENSE file or at |
| // https://opensource.org/licenses/MIT |
| |
| #pragma once |
| |
| #include <sys/types.h> |
| #include <kernel/mp.h> |
| |
| __BEGIN_CDECLS |
| |
| /* send inter processor interrupt, if supported */ |
| status_t arch_mp_send_ipi(mp_ipi_target_t, mp_cpu_mask_t mask, mp_ipi_t ipi); |
| |
| /* Bring a CPU up and enter it into the scheduler */ |
| status_t platform_mp_cpu_hotplug(uint cpu_id); |
| |
| /* Prepare for CPU unplug. The platform may want to shift |
| * around external interrupts at this time. */ |
| status_t platform_mp_prep_cpu_unplug(uint cpu_id); |
| |
| /* shutdown the specified CPU. called after it is no longer |
| * being scheduled on. */ |
| status_t platform_mp_cpu_unplug(uint cpu_id); |
| |
| /* Should be invoked by platform_mp_cpu_hotplug to ask the arch |
| * to bring a CPU up and enter it into the scheduler */ |
| status_t arch_mp_cpu_hotplug(uint cpu_id); |
| |
| /* Should be invoked by platform_mp_prep_cpu_unplug to ask the |
| * arch to do whatever it needs to do to stop the CPU */ |
| status_t arch_mp_prep_cpu_unplug(uint cpu_id); |
| |
| /* Should be invoked by platform_mp_cpu_unplug to ask the |
| * arch to do whatever it needs to do to stop the CPU */ |
| status_t arch_mp_cpu_unplug(uint cpu_id); |
| |
| void arch_mp_init_percpu(void); |
| |
| __END_CDECLS |
