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
..
amd	vmm(4): Small spelling fixes.	2016-05-03 22:07:18 +00:00
intel	vmm(4): Small spelling fixes.	2016-05-03 22:07:18 +00:00
io	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
vmm_dev.c
vmm_host.c
vmm_host.h
vmm_instruction_emul.c	vmm(4): Small spelling fixes.	2016-05-03 22:07:18 +00:00
vmm_ioport.c
vmm_ioport.h
vmm_ktr.h
vmm_lapic.c
vmm_lapic.h
vmm_mem.c
vmm_mem.h
vmm_stat.c	vmm(4): Small spelling fixes.	2016-05-03 22:07:18 +00:00
vmm_stat.h
vmm_util.c
vmm_util.h
vmm.c
x86.c
x86.h