x86_gsbase_write_cpu_inactive
extern void x86_gsbase_write_cpu_inactive(unsigned long gsbase);
x86_gsbase_write_cpu_inactive(arg2);