Searched refs:MSR_KERNELGSBASE (Results 1 – 8 of 8) sorted by relevance
289 movl $MSR_KERNELGSBASE, %ecx802 movl $MSR_KERNELGSBASE, %ecx
473 movq $MSR_KERNELGSBASE, %rcx621 movq $MSR_KERNELGSBASE, %rcx
200 gsb = rdmsr(MSR_KERNELGSBASE); in db_sysregs_cmd()
467 (void *)rdmsr(MSR_GSBASE), (void *)rdmsr(MSR_KERNELGSBASE)); in trap_print()
1640 svm_setmsrbrw(vcpu, MSR_KERNELGSBASE); in vcpu_reset_regs_svm()2329 msr_store[VCPU_HOST_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE; in vcpu_reset_regs_vmx()2344 msr_store[VCPU_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE; in vcpu_reset_regs_vmx()2452 vmx_setmsrbrw(vcpu, MSR_KERNELGSBASE); in vcpu_reset_regs_vmx()3734 rdmsr(MSR_KERNELGSBASE); in vcpu_run_vmx()7804 case MSR_KERNELGSBASE: return "KGSBASE"; in msr_name_decode()
1229 wrmsr(MSR_KERNELGSBASE, 0); in cpu_init_msrs()
527 #define MSR_KERNELGSBASE 0xc0000102 /* storage for swapgs ins */ macro
700 #define MSR_KERNELGSBASE 0xc0000102 /* storage for swapgs ins */ macro