Fix race with x86 boot
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 8 Dec 2013 22:35:45 +0000 (14:35 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jan 2014 21:07:51 +0000 (13:07 -0800)
commite0412f5e9d9b588dad86d691a536e0b677adabab
treeea6ebcb37d85390cfb68cfc3d40c3819db18377e
parent755973f79f6459201ad2cc5ed24003914c125a22
Fix race with x86 boot

It's possible that some IRQ could break the AP cores out of their halt
before core 0 set up things for the final core init.
kern/arch/x86/smp_boot.c