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