Symbol: VCPU_HOST_REGS_KGSBASE
sys/arch/amd64/amd64/vmm_machdep.c
2388
msr_store[VCPU_HOST_REGS_KGSBASE].vms_index = MSR_KERNELGSBASE;
sys/arch/amd64/amd64/vmm_machdep.c
2389
msr_store[VCPU_HOST_REGS_KGSBASE].vms_data = 0;
sys/arch/amd64/amd64/vmm_machdep.c
3818
msr_store[VCPU_HOST_REGS_KGSBASE].vms_data =