2
===================================================================
3
--- ioemu.orig/hw/pc.c 2007-05-03 19:09:34.000000000 +0100
4
+++ ioemu/hw/pc.c 2007-05-03 19:11:08.000000000 +0100
11
/* PC hardware initialisation */
12
static void pc_init1(uint64_t ram_size, int vga_ram_size, int boot_device,
13
DisplayState *ds, const char **fd_filename, int snapshot,
15
const char *initrd_filename,
20
- int ret, linux_boot, initrd_size, i;
21
+ int ret, initrd_size;
25
unsigned long bios_offset, vga_bios_offset, option_rom_offset;
26
int bios_size, isa_bios_size;
32
cpu_register_physical_memory(0, ram_size, 0);
37
bios_offset = ram_size + vga_ram_size;
38
vga_bios_offset = bios_offset + 256 * 1024;
40
snprintf(buf, sizeof(buf), "%s/%s", bios_dir, VGABIOS_FILENAME);
42
ret = load_image(buf, phys_ram_base + vga_bios_offset);
45
/* setup basic memory access */
46
#ifndef CONFIG_DM /* HVM domain owns memory */
48
vga_bios_offset | IO_MEM_ROM);
52
/* map the last 128KB of the BIOS in ISA space */
53
isa_bios_size = bios_size;
54
if (isa_bios_size > (128 * 1024))
56
/* map all the bios at the top of memory */
57
cpu_register_physical_memory((uint32_t)(-bios_size),
58
bios_size, bios_offset | IO_MEM_ROM);