Andrew Boie 692fda47fc x86: use MSRs for %gs ... We don't need to set up GDT data descriptors for setting %gs. Instead, we use the x86 MSRs to set GS_BASE and KERNEL_GS_BASE. We don't currently allow user mode to set %gs on its own, but later on if we do, we have everything set up to issue 'swapgs' instructions on syscall or IRQ. Unused entries in the GDT have been removed. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2020-01-13 16:35:10 -05:00
..
kernel_arch_data.h	x86: use MSRs for %gs	2020-01-13 16:35:10 -05:00
kernel_arch_func.h	kernel: rename z_arch_ to arch_	2019-11-07 15:21:46 -08:00
offsets_short_arch.h