x86 core_id() uses the LAPIC again
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 12 Aug 2009 18:43:20 +0000 (11:43 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 12 Aug 2009 19:53:24 +0000 (12:53 -0700)
commit8b52105a23cad9ac50a2f8b8f58810334619887d
tree9d24e81f710171c660634ed679a26c3a75082eda
parent5a3906e86a3f29bc3776d80eabddaf47292c94f6
x86 core_id() uses the LAPIC again

Was using cpuid, due to a bug in KVM.  If you're using a bad version of
kvm (85 < x < 89), locally change this to lapic_get_default_id().
kern/arch/i386/arch.h