Make sure we adjust the gs segment to be large enough.

After fixing the which essentially ignored the size of the gs segment
entirely, we did not accommodate for things at >=0 offsets from %gs.

diff --git a/platform/baremetal/arch/i386/machdep.c b/platform/baremetal/arch/i386/machdep.c
index d0e3e7086e66a03fd358f9db44f2aba53702a6dc..e38b16bbe6480562d269026b3d141e0f11a6d734 100644 (file)
--- a/platform/baremetal/arch/i386/machdep.c
+++ b/platform/baremetal/arch/i386/machdep.c
@@ -291,6 +291,6 @@ void
 bmk_platform_cpu_sched_switch(struct bmk_tcb *prev, struct bmk_tcb *next)
 {
 
-       adjustgs(next->btcb_tp, next->btcb_tpsize);
+       adjustgs(next->btcb_tp, next->btcb_tpsize + BMK_TLS_EXTRA);
        bmk__cpu_switch(prev, next);
 }