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