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()
699 uint64_t gsbase; in vstart() local808 gsbase = rdmsr64(MSR_IA32_GS_BASE); in vstart()812 DBG("CPU: %d, GSBASE initial value: 0x%llx\n", cpu, (unsigned long long)gsbase); in vstart()
763 ((x86_thread_full_state64_t *)ts)->gsbase); in set_thread_state64()842 ((x86_thread_full_state64_t *)state)->gsbase = in get_thread_state64()
789 __uint64_t gsbase; variable