Revision dc333cd6 hw/ppc_oldworld.c

b/hw/ppc_oldworld.c
40 40
#include "loader.h"
41 41
#include "elf.h"
42 42
#include "kvm.h"
43
#include "kvm_ppc.h"
43 44

  
44 45
#define MAX_IDE_BUS 2
45 46
#define VGA_BIOS_SIZE 65536
......
401 402
    fw_cfg_add_i16(fw_cfg, FW_CFG_PPC_HEIGHT, graphic_height);
402 403
    fw_cfg_add_i16(fw_cfg, FW_CFG_PPC_DEPTH, graphic_depth);
403 404

  
405
    if (kvm_enabled()) {
406
#ifdef CONFIG_KVM
407
        fw_cfg_add_i32(fw_cfg, FW_CFG_PPC_TBFREQ, kvmppc_get_tbfreq());
408
#endif
409
    } else {
410
        fw_cfg_add_i32(fw_cfg, FW_CFG_PPC_TBFREQ, get_ticks_per_sec());
411
    }
412

  
404 413
    qemu_register_boot_set(fw_cfg_boot_set, fw_cfg);
405 414
}
406 415

  

Also available in: Unified diff