x86_64: smp_boot
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 25 Jun 2013 20:44:34 +0000 (13:44 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 26 Jun 2013 05:20:24 +0000 (22:20 -0700)
commit45fbcb5d451b1f110508f5bc0ca294e1caff7b66
treefe6b56439a9f055ec75ca029eaea9aec5d341020
parent59cfbd874b7f9db4724d901d11f77c4f399960d5
x86_64: smp_boot

Also fixes an old bug where smp_boot was treating the boot lock and sem as if
they were 32 bit (they are 16).
kern/arch/x86/entry64.S
kern/arch/x86/smp_boot.c
kern/arch/x86/smp_entry32.S
kern/arch/x86/smp_entry64.S
kern/src/init.c