3 #include <arch/cache.h>
10 #include <soc/soc_services.h>
25 blob_mbn =
cbfs_map(file_name, &blob_size);
46 #define DDR_VERSION() ((const char *)"private build")
47 #define MAX_DDR_VERSION_SIZE 48
70 void *tzbsp = (
uint8_t *)0x87e80000;
77 if (!cdt || !ddr_init_function) {
79 cdt, ddr_init_function);
80 die(
"could not find DDR initialization blobs\n");
88 die(
"Fail to Initialize DDR\n");
111 die(
"could not find or map TZBSP\n");
void cache_sync_instructions(void)
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
void * memcpy(void *dest, const void *src, size_t n)
static void * cbfs_map(const char *name, size_t *size_out)
#define printk(level,...)
void __noreturn die(const char *fmt,...)
static void * load_ipq_blob(const char *file_name)
sbl_rw_ret_info_t * sbl_rw_ret_info
#define MAX_DDR_VERSION_SIZE
int initialize_dram(void)
int tz_init_wrapper(int, int, void *)
#define BIOS_INFO
BIOS_INFO - Expected events.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
#define TCSR_RESET_DEBUG_SW_ENTRY
unsigned long long uint64_t
sys_debug_qsee_info_type_t * qsee_info