coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
soc_services.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_QUALCOMM_IPQ40XX_INCLUDE_SOC_SOC_SERVICES_H__
4 #define __SOC_QUALCOMM_IPQ40XX_INCLUDE_SOC_SOC_SERVICES_H__
5 
6 #include <types.h>
7 
8 extern u8 _memlayout_cbmem_top[];
9 
10 /* Returns zero on success, nonzero on failure. */
11 int initialize_dram(void);
12 
13 /* Loads and runs TZBSP, switches into user mode. */
14 void start_tzbsp(void);
15 
16 /* A helper function needed to start TZBSP properly. */
17 int tz_init_wrapper(int, int, void *);
18 
19 /* Load RPM code into memory and trigger its execution. */
20 void start_rpm(void);
21 
22 /* Mark cbmem backing store as ready. */
24 
25 #endif
void start_rpm(void)
Definition: blobs_init.c:89
void ipq_cbmem_backing_store_ready(void)
Definition: cbmem.c:8
u8 _memlayout_cbmem_top[]
void start_tzbsp(void)
Definition: blobs_init.c:106
int initialize_dram(void)
Definition: blobs_init.c:61
int tz_init_wrapper(int, int, void *)
uint8_t u8
Definition: stdint.h:45