Revision 16b29ae1 hw/pc.c

b/hw/pc.c
35 35
#include "fw_cfg.h"
36 36
#include "virtio-blk.h"
37 37
#include "virtio-balloon.h"
38
#include "hpet_emul.h"
38 39

  
39 40
/* output Bochs bios info messages */
40 41
//#define DEBUG_BIOS
......
977 978
    }
978 979
    pit = pit_init(0x40, i8259[0]);
979 980
    pcspk_init(pit);
981
    if (!no_hpet) {
982
        hpet_init(i8259);
983
    }
980 984
    if (pci_enabled) {
981 985
        pic_set_alt_irq_func(isa_pic, ioapic_set_irq, ioapic);
982 986
    }

Also available in: Unified diff