/* | |
* Copyright (c) 2019 Carlo Caione <ccaione@baylibre.com> | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
/** | |
* @file | |
* @brief Definitions for boot code | |
*/ | |
#ifndef _BOOT_H_ | |
#define _BOOT_H_ | |
#ifndef _ASMLANGUAGE | |
extern void *_vector_table[]; | |
extern void __start(void); | |
#endif /* _ASMLANGUAGE */ | |
/* Offsets into the boot_params structure */ | |
#define BOOT_PARAM_MPID_OFFSET 0 | |
#define BOOT_PARAM_SP_OFFSET 8 | |
#endif /* _BOOT_H_ */ |