1/*
2 * Copyright 2017, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
8 * See "LICENSE_GPLv2.txt" for details.
9 *
10 * @TAG(DATA61_GPL)
11 */
12
13#ifndef __ARCH_KERNEL_SMP_SYS_H_
14#define __ARCH_KERNEL_SMP_SYS_H_
15
16/* Lower memory address to copy APs boot code in real mode. Actual memory starts at
17 * 0x500 but we need to round up to a page aligned address in order to send the
18 * startup IPI */
19#define BOOT_NODE_PADDR 0x1000
20/* Limit of memory region we can copy the AP to */
21#define BOOT_NODE_MAX_PADDR 0x7bff
22
23#ifdef ENABLE_SMP_SUPPORT
24void boot_node(void);
25BOOT_CODE void start_boot_aps(void);
26BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower);
27#endif /* ENABLE_SMP_SUPPORT */
28
29#endif /* __ARCH_KERNEL_SMP_SYS_H_ */
30