Revision 905fdcb5 hw/pc.c

b/hw/pc.c
433 433

  
434 434
    fw_cfg = fw_cfg_init(BIOS_CFG_IOPORT, BIOS_CFG_IOPORT + 1, 0, 0);
435 435
    fw_cfg_add_i32(fw_cfg, FW_CFG_ID, 1);
436
    fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size);
436 437
}
437 438

  
438 439
/* Generate an initial boot sector which sets state and jump to

Also available in: Unified diff