coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
gic.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 /*
4  * This file is created based on MT8186 Functional Specification
5  * Chapter number: 4.3
6  */
7 
8 #ifndef SOC_MEDIATEK_MT8186_GIC_H
9 #define SOC_MEDIATEK_MT8186_GIC_H
10 
11 void mtk_gic_preinit(void);
12 
13 #endif
mtk_gic_preinit
void mtk_gic_preinit(void)
Definition: gic.c:12