coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
placeholders.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <device/pci_rom.h>
4 #include <soc/acpi.h>
5 
6 /* Rmodules don't like weak symbols. */
7 u32 map_oprom_vendev(u32 vendev) { return vendev; }
u32 map_oprom_vendev(u32 vendev)
Definition: placeholders.c:7
uint32_t u32
Definition: stdint.h:51