Searched refs:MSR_KGSBASE (Results 1 – 9 of 9) sorted by relevance
| /f-stack/freebsd/amd64/vmm/intel/ |
| H A D | vmx_msr.c | 332 guest_msr_rw(vmx, MSR_KGSBASE); in vmx_msr_guest_init()
361 wrmsr(MSR_KGSBASE, guest_msrs[IDX_MSR_KGSBASE]); in vmx_msr_guest_enter()
384 guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE); in vmx_msr_guest_exit()
|
| /f-stack/freebsd/amd64/amd64/ |
| H A D | cpu_switch.S | 105 movl $MSR_KGSBASE,%ecx /* Read user gs base */
354 movl $MSR_KGSBASE,%ecx
418 movl $MSR_KGSBASE,%ecx
|
| H A D | exception.S | 749 movl $MSR_KGSBASE,%ecx
861 movl $MSR_KGSBASE,%ecx
1232 movl $MSR_KGSBASE,%ecx
|
| H A D | trap.c | 968 rdmsr(MSR_FSBASE), rdmsr(MSR_GSBASE), rdmsr(MSR_KGSBASE)); in dblfault_handler()
|
| H A D | mp_machdep.c | 342 wrmsr(MSR_KGSBASE, (u_int64_t)pc); /* XXX User value while we're in the kernel */ in init_secondary()
|
| H A D | machdep.c | 1705 wrmsr(MSR_KGSBASE, 0); /* User value while in the kernel */ in hammer_time()
2703 pcb->pcb_gsbase = rdmsr(MSR_KGSBASE); in set_pcb_flags_fsgsbase()
|
| /f-stack/freebsd/x86/include/ |
| H A D | specialreg.h | 1108 #define MSR_KGSBASE 0xc0000102 /* base address of the kernel %gs */ macro
|
| /f-stack/freebsd/amd64/linux32/ |
| H A D | linux32_sysvec.c | 705 wrmsr(MSR_KGSBASE, 0); /* User value while we're in the kernel */ in linux_exec_setregs()
|
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | svm.c | 591 svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_KGSBASE); in svm_init()
|