Symbol: IDX_MSR_SF_MASK
sys/amd64/vmm/amd/svm_msr.c
103
wrmsr(MSR_SF_MASK, host_msrs[IDX_MSR_SF_MASK]);
sys/amd64/vmm/amd/svm_msr.c
69
host_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
sys/amd64/vmm/intel/vmx_msr.c
255
host_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
sys/amd64/vmm/intel/vmx_msr.c
350
wrmsr(MSR_SF_MASK, vcpu->guest_msrs[IDX_MSR_SF_MASK]);
sys/amd64/vmm/intel/vmx_msr.c
372
vcpu->guest_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
sys/amd64/vmm/intel/vmx_msr.c
379
wrmsr(MSR_SF_MASK, host_msrs[IDX_MSR_SF_MASK]);