Revision 3f6ffb6a

b/hw/piix_pci.c
208 208 
{
209 209 
    int i, pic_irq, pic_level;
210 210 

  		





  
  211
  
    
    piix3_dev->config[0x60 + irq_num] &= ~0x80;   // enable bit


  		





  211
  212
  
    
    pci_irq_levels[irq_num] = level;


  		





  212
  213
  
    

  		





  213
  214
  
    
    /* now we change the pic irq level according to the piix irq mappings */


  		












Also available in:
  Unified diff