blob: 927c7b8a2631f259ff4756ce7f58fcbbde3dc989 [file] [log] [blame]
Dan Handley5b827a82014-04-17 18:53:42 +01001/*
Joel Hutton9f85f9e2018-03-21 11:40:57 +00002 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
Dan Handley5b827a82014-04-17 18:53:42 +01003 *
dp-arm82cb2c12017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Dan Handley5b827a82014-04-17 18:53:42 +01005 */
6
Antonio Nino Diazc3cf06f2018-11-08 10:20:19 +00007#ifndef BL1_PRIVATE_H
8#define BL1_PRIVATE_H
Dan Handley5b827a82014-04-17 18:53:42 +01009
Antonio Nino Diaz93c78ed2018-08-16 16:52:57 +010010#include <stdint.h>
Antonio Nino Diaz09d40e02018-12-14 00:18:21 +000011
Antonio Nino Diazc9f9d9e2018-12-18 13:49:46 +000012#include <common/bl_common.h>
Sandrine Bailleux8f55dfb2014-06-24 14:02:34 +010013
Dan Handley5b827a82014-04-17 18:53:42 +010014/******************************************
15 * Function prototypes
16 *****************************************/
Dan Handleyc6bc0712014-05-14 12:38:32 +010017void bl1_arch_setup(void);
18void bl1_arch_next_el_setup(void);
Dan Handley5b827a82014-04-17 18:53:42 +010019
Yatharth Kochar7baff112015-10-09 18:06:13 +010020void bl1_prepare_next_image(unsigned int image_id);
Yatharth Kochar48bfb882015-10-10 19:06:53 +010021
22register_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);
Antonio Nino Diazc9f9d9e2018-12-18 13:49:46 +000030
Antonio Nino Diazc3cf06f2018-11-08 10:20:19 +000031#endif /* BL1_PRIVATE_H */