cpu_kernelmode_gs_base
wrmsrq(MSR_GS_BASE, cpu_kernelmode_gs_base(cpu));
gs_base = cpu_kernelmode_gs_base(cpu);