switch_gdt_and_percpu_base
extern void switch_gdt_and_percpu_base(int);
switch_gdt_and_percpu_base(cpu);
switch_gdt_and_percpu_base(me);