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