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