sys/arch/amd64/amd64/cpu.c

1239

wrmsr(MSR_KERNELGSBASE, 0);

sys/arch/amd64/amd64/db_interface.c

201

gsb = rdmsr(MSR_KERNELGSBASE);

sys/arch/amd64/amd64/trap.c

671

(void *)rdmsr(MSR_GSBASE), (void *)rdmsr(MSR_KERNELGSBASE));

sys/arch/amd64/amd64/vmm_machdep.c

1632

svm_setmsrbrw(vcpu, MSR_KERNELGSBASE);

sys/arch/amd64/amd64/vmm_machdep.c

2396

msr_store[VCPU_HOST_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE;

sys/arch/amd64/amd64/vmm_machdep.c

2411

msr_store[VCPU_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE;

sys/arch/amd64/amd64/vmm_machdep.c

2519

vmx_setmsrbrw(vcpu, MSR_KERNELGSBASE);

sys/arch/amd64/amd64/vmm_machdep.c

3827

rdmsr(MSR_KERNELGSBASE);

sys/arch/amd64/amd64/vmm_machdep.c

8461

case MSR_KERNELGSBASE: return "KGSBASE";