.board_id = 0x33b,
};
-static void realview_init(ram_addr_t ram_size,
+static void realview_init(a_ram_addr ram_size,
const char *boot_device,
const char *kernel_filename, const char *kernel_cmdline,
const char *initrd_filename, const char *cpu_model)
{
CPUState *env;
- ram_addr_t ram_offset;
+ a_ram_addr ram_offset;
DeviceState *dev;
qemu_irq *irqp;
qemu_irq pic[64];