2 * From coreboot file of same name
4 * SPDX-License-Identifier: GPL-2.0+
10 #define PCI_ROM_HDR 0xaa55
12 struct pci_rom_header {
16 uint8_t reserved[0x12];
37 * pci_run_vga_bios() - Run the VGA BIOS in an x86 PC
39 * @dev: Video device containing the BIOS
40 * @int15_handler: Function to call to handle int 0x15
41 * @emulate: true to use the x86 emulator, false to run native
43 int pci_run_vga_bios(pci_dev_t dev, int (*int15_handler)(void), bool emulate);
46 * board_map_oprom_vendev() - map several PCI IDs to the one the ROM expects
48 * Some VGA option roms are used for several chipsets but they only have one
49 * PCI ID in their header. If we encounter such an option rom, we need to do
50 * the mapping ourselves.
52 * @vendev: Vendor and device for the video device
53 * @return standard vendor and device expected by the ROM
55 uint32_t board_map_oprom_vendev(uint32_t vendev);