Searched refs:MSR_KGSBASE (Results 1 – 9 of 9) sorted by relevance
| /freebsd/sys/amd64/vmm/intel/ |
| H A D | vmx_msr.c | 323 guest_msr_rw(vmx, MSR_KGSBASE); in vmx_msr_guest_init()
351 wrmsr(MSR_KGSBASE, vcpu->guest_msrs[IDX_MSR_KGSBASE]); in vmx_msr_guest_enter()
373 vcpu->guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE); in vmx_msr_guest_exit()
|
| /freebsd/sys/amd64/amd64/ |
| H A D | cpu_switch.S | 103 movl $MSR_KGSBASE,%ecx /* Read user gs base */
352 movl $MSR_KGSBASE,%ecx
416 movl $MSR_KGSBASE,%ecx
|
| H A D | exception.S | 739 movl $MSR_KGSBASE,%ecx
851 movl $MSR_KGSBASE,%ecx
1214 movl $MSR_KGSBASE,%ecx
|
| H A D | machdep.c | 1395 wrmsr(MSR_KGSBASE, 0); /* User value while in the kernel */ in hammer_time()
1795 pcb->pcb_gsbase = rdmsr(MSR_KGSBASE); in set_pcb_flags_fsgsbase()
|
| H A D | mp_machdep.c | 264 wrmsr(MSR_KGSBASE, 0); /* User value */ in init_secondary()
|
| H A D | trap.c | 1013 rdmsr(MSR_FSBASE), rdmsr(MSR_GSBASE), rdmsr(MSR_KGSBASE)); in dblfault_handler()
|
| /freebsd/sys/x86/include/ |
| H A D | specialreg.h | 1215 #define MSR_KGSBASE 0xc0000102 /* base address of the kernel %gs */ macro
|
| /freebsd/sys/amd64/linux32/ |
| H A D | linux32_sysvec.c | 585 wrmsr(MSR_KGSBASE, 0); /* User value while we're in the kernel */ in linux_exec_setregs()
|
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | svm.c | 594 svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_KGSBASE); in svm_init()
|