gs_base_kernel    248 arch/x86/include/asm/xen/interface.h     uint64_t      gs_base_kernel;
gs_base_kernel    347 arch/x86/xen/smp_pv.c 	ctxt->gs_base_kernel = per_cpu_offset(cpu);