Alexander Motin 4cefe96c6d Increase number of I/O APIC pins from 24 to 32 to give PCI up to 16 IRQs. ... Move HPET to the top of the supported 0-31 range. Proposed by: jhb@, grehan@		2016-07-14 14:35:25 +00:00
..
iommu.c
iommu.h
ppt.c
ppt.h
vatpic.c
vatpic.h
vatpit.c
vatpit.h
vhpet.c	Increase number of I/O APIC pins from 24 to 32 to give PCI up to 16 IRQs.	2016-07-14 14:35:25 +00:00
vhpet.h
vioapic.c	Increase number of I/O APIC pins from 24 to 32 to give PCI up to 16 IRQs.	2016-07-14 14:35:25 +00:00
vioapic.h
vlapic_priv.h
vlapic.c
vlapic.h
vpmtmr.c
vpmtmr.h
vrtc.c
vrtc.h