Searched refs:x86_firmware_configure (Results 1 – 3 of 3) sorted by relevance
208 x86_firmware_configure(gpa, flash_ptr, flash_size); in pc_system_flash_map()261 void x86_firmware_configure(hwaddr gpa, void *ptr, int size) in x86_firmware_configure() function
1021 x86_firmware_configure(0x100000000ULL - bios_size, ptr, bios_size); in x86_bios_rom_init()
157 void x86_firmware_configure(hwaddr gpa, void *ptr, int size);