Lines Matching refs:bios_size
1006 uint64_t bios_size = memory_region_size(bios); in x86_isa_bios_init() local
1007 uint64_t isa_bios_size = MIN(bios_size, 128 * KiB); in x86_isa_bios_init()
1010 bios_size - isa_bios_size, isa_bios_size); in x86_isa_bios_init()
1021 int bios_size; in x86_bios_rom_init() local
1028 bios_size = get_image_size(filename); in x86_bios_rom_init()
1030 bios_size = -1; in x86_bios_rom_init()
1032 if (bios_size <= 0 || in x86_bios_rom_init()
1033 (bios_size % 65536) != 0) { in x86_bios_rom_init()
1038 bios_size, &error_fatal); in x86_bios_rom_init()
1044 bios_size, &error_fatal); in x86_bios_rom_init()
1055 load_image_size(filename, ptr, bios_size); in x86_bios_rom_init()
1056 x86_firmware_configure(0x100000000ULL - bios_size, ptr, bios_size); in x86_bios_rom_init()
1059 ret = rom_add_file_fixed(bios_name, (uint32_t)(-bios_size), -1); in x86_bios_rom_init()
1074 (uint32_t)(-bios_size), in x86_bios_rom_init()