x86: set pcpui->{ts,gdt} early
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 26 Oct 2016 22:17:32 +0000 (18:17 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 29 Nov 2016 16:27:40 +0000 (11:27 -0500)
commit12acb2f1d06ec92c9b3015c8776556ac741b65a3
treee790bc28c5effdc5c3785573d33a6d255393cf3a
parent26e10a3a394e2b38be6517250380da6ddd1b0349
x86: set pcpui->{ts,gdt} early

This allows us to set/get the stacktop with the usual, arch-independent
helper early.  I'll need this during init, before smp_boot.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/smp_boot.c
kern/arch/x86/trap.c
kern/arch/x86/trap64.h