« Previous | Next » 

Revision 09de0f46

ID09de0f469c3c2a277c7874f6c60992c8b94719a9

Added by TeLeMan almost 10 years ago

piix_pci: fix piix3_set_irq_pic()

If pic_irq is greater than 7, the irq level is always 0 on 32bits.

Signed-off-by: TeLeMan <>
Signed-off-by: Stefan Hajnoczi <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences