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
16 void boot_node(void);
17 BOOT_CODE void start_boot_aps(void);
18 BOOT_CODE bool_t copy_boot_code_aps(uint32_t mem_lower);
19 #endif /* ENABLE_SMP_SUPPORT */
20 
21