Symbol: VCPU_HOST_REGS_SFMASK
sys/arch/amd64/amd64/vmm_machdep.c
2386
msr_store[VCPU_HOST_REGS_SFMASK].vms_index = MSR_SFMASK;
sys/arch/amd64/amd64/vmm_machdep.c
2387
msr_store[VCPU_HOST_REGS_SFMASK].vms_data = rdmsr(MSR_SFMASK);