Damien Zammit, le mer. 07 janv. 2026 03:07:55 +0000, a ecrit: > --- > i386/i386/pcb.c | 1 - > 1 file changed, 1 deletion(-) > > diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c > index f217495b..d6a2338e 100644 > --- a/i386/i386/pcb.c > +++ b/i386/i386/pcb.c > @@ -230,7 +230,6 @@ void switch_ktss(pcb_t pcb) > > #if defined(__x86_64__) && !defined(USER32) > wrmsr(MSR_REG_FSBASE, pcb->ims.sbs.fsbase); > - wrmsr(MSR_REG_GSBASE, pcb->ims.sbs.gsbase); > #endif
But we should put it in KGSBASE precisely for swapgs to put it into the gs base. (yes, the msr register is quite ill-named since while inside the kernel it contains the userland gs base...) And then we will be able to enable the gsbase cpuid support bit. Samuel
