Revision b7da6c60 hw/i386/pc_piix.c

b/hw/i386/pc_piix.c
88 88 
    void *fw_cfg = NULL;
89 89 

  		





  90
  90
  
    
    pc_cpus_init(cpu_model);


  		





  
  91
  
    
    pc_acpi_init("acpi-dsdt.aml");


  		





  91
  92
  
    

  		





  92
  93
  
    
    if (kvmclock_enabled) {


  		





  93
  94
  
    
        kvmclock_create();


  		












Also available in:
  Unified diff