Searched refs:MSR_IA32_GS_BASE (Results 1 – 10 of 10) sorted by relevance
31 #define MSR_IA32_GS_BASE 0xc0000101 macro
70 wrmsr(MSR_IA32_GS_BASE, 0x123456789abc); in native_msr_vcpu_entry()
1235 MSR_IA32_GS_BASE,
135 uint64_t gsbase = rdmsr64(MSR_IA32_GS_BASE); in kprintf()
315 if (rdmsr64(MSR_IA32_GS_BASE) == EARLY_GSBASE_MAGIC) { in ensure_gsbase()
479 wrmsr64(MSR_IA32_GS_BASE, (uintptr_t) cdp); in cpu_desc_load()818 wrmsr64(MSR_IA32_GS_BASE, (uintptr_t) cdp); in cpu_data_realloc()
717 wrmsr64(MSR_IA32_GS_BASE, EARLY_GSBASE_MAGIC); in vstart()808 gsbase = rdmsr64(MSR_IA32_GS_BASE); in vstart()
775 #define MSR_IA32_GS_BASE 0xC0000101 macro
250 kprintf("Current GS base MSR 0x%llx\n", rdmsr64(MSR_IA32_GS_BASE)); in kprint_state()
242 mov $(MSR_IA32_GS_BASE), %ecx464 mov $(MSR_IA32_GS_BASE), %ecx