Symbol: VCPU_HOST_REGS_STAR
sys/arch/amd64/amd64/vmm_machdep.c
2380
msr_store[VCPU_HOST_REGS_STAR].vms_index = MSR_STAR;
sys/arch/amd64/amd64/vmm_machdep.c
2381
msr_store[VCPU_HOST_REGS_STAR].vms_data = rdmsr(MSR_STAR);