../../../ia32/src/smp/apic.c