123456789101112131415161718192021222324252627282930313233 |
- #ifndef BL1_PRIVATE_H
- #define BL1_PRIVATE_H
- #include <stdint.h>
- #include <common/bl_common.h>
- extern entry_point_info_t *bl2_ep_info;
- void bl1_arch_setup(void);
- void bl1_prepare_next_image(unsigned int image_id);
- void bl1_run_bl2_in_root(void);
- u_register_t bl1_fwu_smc_handler(unsigned int smc_fid,
- u_register_t x1,
- u_register_t x2,
- u_register_t x3,
- u_register_t x4,
- void *cookie,
- void *handle,
- unsigned int flags);
- #endif
|