1 /* 2 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef BL1_PRIVATE_H 8 #define BL1_PRIVATE_H 9 10 #include <stdint.h> 11 12 #include <common/bl_common.h> 13 14 /****************************************** 15 * Function prototypes 16 *****************************************/ 17 void bl1_arch_setup(void); 18 void bl1_arch_next_el_setup(void); 19 20 void bl1_prepare_next_image(unsigned int image_id); 21 22 register_t bl1_fwu_smc_handler(unsigned int smc_fid, 23 register_t x1, 24 register_t x2, 25 register_t x3, 26 register_t x4, 27 void *cookie, 28 void *handle, 29 unsigned int flags); 30 31 #endif /* BL1_PRIVATE_H */ 32