MSR_IA32_DS_AREA
.msr = MSR_IA32_DS_AREA,
wrmsrq(MSR_IA32_DS_AREA, (unsigned long)ds);
wrmsr_on_cpu(cpu, MSR_IA32_DS_AREA,
wrmsr_on_cpu(cpu, MSR_IA32_DS_AREA, 0, 0);
case MSR_IA32_DS_AREA:
case MSR_IA32_DS_AREA:
case MSR_IA32_DS_AREA:
MSR_IA32_PEBS_ENABLE, MSR_IA32_DS_AREA, MSR_PEBS_DATA_CFG,
case MSR_IA32_DS_AREA: