coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mmu.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_CAVIUM_CN81XX_INCLUDE_SOC_MMU_H
4 #define __SOC_CAVIUM_CN81XX_INCLUDE_SOC_MMU_H
5 
6 void soc_mmu_init(void);
7 
8 #endif /* ! __SOC_CAVIUM_CN81XX_INCLUDE_SOC_MMU_H */
soc_mmu_init
void soc_mmu_init(void)
Definition: mmu.c:9