coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
gic.c
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 #include <device/mmio.h>
9 #include <soc/addressmap.h>
10 #include <soc/gic.h>
11 
12 void mtk_gic_preinit(void)
13 {
14  int i;
15 
16  for (i = 3; i < 15; i++) {
17  write32((void *)((uintptr_t)MCUSYS_BASE + 0xA600 + i * 4), 0);
18  write32((void *)((uintptr_t)MCUSYS_BASE + 0xA650 + i * 4), 0xFFFFFFFF);
19  }
20 }
static void write32(void *addr, uint32_t val)
Definition: mmio.h:40
void mtk_gic_preinit(void)
Definition: gic.c:12
@ MCUSYS_BASE
Definition: addressmap.h:7
unsigned long uintptr_t
Definition: stdint.h:21