1 /* 2 * Copyright (c) 2014 Travis Geiselbrecht 3 * 4 * Use of this source code is governed by a MIT-style 5 * license that can be found in the LICENSE file or at 6 * https://opensource.org/licenses/MIT 7 */ 8 #pragma once 9 10 #include <lk/compiler.h> 11 #include <sys/types.h> 12 #include <kernel/mp.h> 13 14 __BEGIN_CDECLS 15 16 /* send inter processor interrupt, if supported */ 17 status_t arch_mp_send_ipi(mp_cpu_mask_t target, mp_ipi_t ipi); 18 19 void arch_mp_init_percpu(void); 20 21 __END_CDECLS 22