Revision 80deece2 hw/pc.c

b/hw/pc.c
54 54

  
55 55
#define MAX_IDE_BUS 2
56 56

  
57
extern uint8_t *acpi_tables;
58
extern size_t acpi_tables_len;
59

  
60 57
static fdctrl_t *floppy_controller;
61 58
static RTCState *rtc_state;
62 59
static PITState *pit;
......
443 440
    fw_cfg = fw_cfg_init(BIOS_CFG_IOPORT, BIOS_CFG_IOPORT + 1, 0, 0);
444 441
    fw_cfg_add_i32(fw_cfg, FW_CFG_ID, 1);
445 442
    fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size);
446
    fw_cfg_add_bytes(fw_cfg, FW_CFG_ACPI_TABLES, acpi_tables, acpi_tables_len);
443
    fw_cfg_add_bytes(fw_cfg, FW_CFG_ACPI_TABLES, (uint8_t *)acpi_tables,
444
                     acpi_tables_len);
447 445
}
448 446

  
449 447
/* Generate an initial boot sector which sets state and jump to

Also available in: Unified diff