Symbol: MSR_SYSENTER_EIP
sys/arch/amd64/amd64/vmm_machdep.c
1617
svm_setmsrbrw(vcpu, MSR_SYSENTER_EIP);
sys/arch/amd64/amd64/vmm_machdep.c
2503
vmx_setmsrbrw(vcpu, MSR_SYSENTER_EIP);