coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
early_init.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef SOC_MEDIATEK_EARLY_INIT_H
4 #define SOC_MEDIATEK_EARLY_INIT_H
5 
6 #include <soc/symbols.h>
7 #include <stdint.h>
8 #include <symbols.h>
9 #include <timer.h>
10 
12 
16 };
17 
20 };
21 
22 void early_init_clear(void);
23 void early_init_save_time(enum early_init_type init_type);
25 
26 #endif /* SOC_MEDIATEK_EARLY_INIT_H */
long early_init_get_elapsed_time_us(enum early_init_type init_type)
Definition: early_init.c:34
DECLARE_REGION(early_init_data)
early_init_type
Definition: early_init.h:13
@ EARLY_INIT_PCIE
Definition: early_init.h:14
@ EARLY_INIT_MAX
Definition: early_init.h:15
void early_init_save_time(enum early_init_type init_type)
Definition: early_init.c:24
void early_init_clear(void)
Definition: early_init.c:14
struct mono_time init_time[EARLY_INIT_MAX]
Definition: early_init.h:19