Searched refs:MSR_IA32_KERNEL_GS_BASE (Results 1 – 6 of 6) sorted by relevance
600 (pcb->cthread_self != rdmsr64(MSR_IA32_KERNEL_GS_BASE))) { in act_machine_switch_pcb()602 wrmsr64(MSR_IA32_KERNEL_GS_BASE, pcb->cthread_self); in act_machine_switch_pcb()933 (pcb->cthread_self != rdmsr64(MSR_IA32_KERNEL_GS_BASE))) { in machine_thread_set_tsd_base()934 wrmsr64(MSR_IA32_KERNEL_GS_BASE, tsd_base); in machine_thread_set_tsd_base()
287 wrmsr64(MSR_IA32_KERNEL_GS_BASE, in pal_efi_call_in_32bit_mode()
481 wrmsr64(MSR_IA32_KERNEL_GS_BASE, (uintptr_t) cdp); in cpu_desc_load()806 wrmsr64(MSR_IA32_KERNEL_GS_BASE, (uintptr_t) cdp); in cpu_data_realloc()
776 #define MSR_IA32_KERNEL_GS_BASE 0xC0000102 macro
252 kprintf("Kernel GS base MSR 0x%llx\n", rdmsr64(MSR_IA32_KERNEL_GS_BASE)); in kprint_state()
398 mov $MSR_IA32_KERNEL_GS_BASE, %rcx487 mov $MSR_IA32_KERNEL_GS_BASE, %rcx