1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8/* Lower memory address to copy APs boot code in real mode. Actual memory starts at 9 * 0x500 but we need to round up to a page aligned address in order to send the 10 * startup IPI */ 11#define BOOT_NODE_PADDR 0x1000 12/* Limit of memory region we can copy the AP to */ 13#define BOOT_NODE_MAX_PADDR 0x7bff 14 15#ifdef ENABLE_SMP_SUPPORT 16void boot_node(void); 17BOOT_CODE void start_boot_aps(void); 18BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower); 19#endif /* ENABLE_SMP_SUPPORT */ 20 21