SEGBASE_GS_KERNEL
xen_set_segment_base(SEGBASE_GS_KERNEL, (ulong_t)cpu);
xen_set_segment_base(SEGBASE_GS_KERNEL, (ulong_t)&cpus[0]);
xen_set_segment_base(SEGBASE_GS_KERNEL, kgsbase);