K 10 svn:author V 3 jhb K 8 svn:date V 27 2004-06-01T19:49:38.000000Z K 7 svn:log V 146 Use the local APIC ID rather than the ACPI Processor ID to index the array of CPUs since local APIC IDs are bounded but ACPI IDs are not bounded. END