x86: pcpu init called before idling
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 19 Nov 2010 23:42:01 +0000 (15:42 -0800)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:57 +0000 (17:35 -0700)
commit7f9a295efd69449e7da1e5a591f801305590a491
tree3e037aede96f86468c41b1643c355783844f1d31
parent06bdb5999cb27e6b70bacf36781db1008562284e
x86: pcpu init called before idling

Technically, something could have gotten messed up in the future, since
we access pcpui before finalizing the smp_boot process.
kern/arch/i686/smp_boot.c
kern/arch/i686/smp_entry.S