Every LCPU shall have their `GS_BASE` and `KERNEL_GS_BASE` registers
assigned to their own `struct lcpu` element of the `lcpus` array.
Co-authored-by: Marco Schlumpp <marco@unikraft.io>
Signed-off-by: Marco Schlumpp <marco@unikraft.io>
Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
#include <uk/print.h>
#include <x86/irq.h>
#include <x86/cpu.h>
+#include <x86/gsbase.h>
#include <x86/traps.h>
#include <x86/delay.h>
#include <uk/plat/common/acpi.h>
traps_lcpu_init(this_lcpu);
+ wrkgsbase((__uptr)this_lcpu);
+ wrgsbase((__uptr)this_lcpu);
+
return 0;
}