Searched refs:gsbase (Results 1 – 4 of 4) sorted by relevance
136 uint64_t gsbase = rdmsr64(MSR_IA32_GS_BASE); in kprintf() local137 if (gsbase == EARLY_GSBASE_MAGIC || gsbase == 0) { in kprintf()
696 uint64_t gsbase; in vstart() local805 gsbase = rdmsr64(MSR_IA32_GS_BASE); in vstart()809 DBG("CPU: %d, GSBASE initial value: 0x%llx\n", cpu, (unsigned long long)gsbase); in vstart()
765 ((x86_thread_full_state64_t *)ts)->gsbase); in set_thread_state64()844 ((x86_thread_full_state64_t *)state)->gsbase = in get_thread_state64()
789 __uint64_t gsbase; variable