Searched refs:user_gs_base (Results 1 – 2 of 2) sorted by relevance
52 uint64 user_gs_base; member
103 x86_write_msr(IA32_MSR_KERNEL_GS_BASE, thread->arch_info.user_gs_base); in x86_set_tls_context()160 thread->arch_info.user_gs_base = base; in arch_thread_control()