Symbol: VCPU_REGS_KGSBASE
sys/arch/amd64/amd64/vmm_machdep.c
1250
msrs[VCPU_REGS_KGSBASE] = vmcb->v_kgsbase;
sys/arch/amd64/amd64/vmm_machdep.c
1523
vmcb->v_kgsbase = msrs[VCPU_REGS_KGSBASE];
sys/arch/amd64/amd64/vmm_machdep.c
2403
msr_store[VCPU_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE;
usr.sbin/vmd/x86_vm.c
107
.vrs_msrs[VCPU_REGS_KGSBASE] = 0ULL,
usr.sbin/vmd/x86_vm.c
143
.vrs_msrs[VCPU_REGS_KGSBASE] = 0ULL,