acrn-kernel/Documentation/x86/i386
..
IO-APIC.txt