arch/x86/kvm/vmx.c Kernel-based Virtual Machine driver for Linux
static __init int adjust_vmx_controls(u32 ctl_min, u32 ctl_opt, u32 msr, u32 *result) { u32 vmx_msr_low, vmx_msr_high; u32 ctl = ctl_min | ctl_opt; rdmsr(msr, vmx_msr_low, vmx_msr_high); ctl &= vmx_msr_high; /* bit == 0 in high word ==> must be zero */ ctl |= vmx_msr_low; /* bit == 1 in low word ==> must be one */ /* Ensure minimum (required) set of control bits are supported. */ if (ctl_min & ~ctl) return -EIO; *result = ctl; return 0; }
该函数用于根据 MSR 寄存器的实际值，校正（adjust）期望的设置，这里的所谓“设置”表示为 32 位的控制字符（control），其中特定的若干位置 1 通常表明开启 CPU 的某些功能。这些值将用于设置 VM 运行时的 CPU。
参数：
ctl_min 至少需开启的设置（minimum required）
ctl_opt 可选的设置（optional）
msr MSR 寄存器的地址，表明读取哪个 MSR 的控制字符
result 输出地址，将用于保存校正值
（类型 u32 表示 32 位无符号整型）
第 5 行临时变量 ctl 对 ctl_min 和 ctl_opt 取或，保留了两个参数中的所有置 1 位，即包含了最小设置和可选设置，是期望的设置。
第 7 行读取相应的 MSR 寄存器的控制字符，该字符用 64 位表示对特定设置的要求：低 32 位保存在变量 vmx_msr_low 中，其中某位置 0 表示要求设置的相应位必须为 0；高 32 位保存在变量 vmx_msr_high 中，其中某位置 1 表示要求设置的相应位必须为 1；显然这两组要求本身保证没有冲突。
第 9 行将期望设置 ctl 与表示必须置 1 的控制字符取且，则保证所有要求置 1 的位在 ctl 中均已置 1；第 10 行将期望设置 ctl 与表示必须置 0 的控制字符取或，则保证所有要求置 0 的位在 ctl 均已置 0；至此，期望设置 ctl 已经根据 MSR 的要求进行了校正。
最后，还要判断校正后的值是否满足最初要求的最小设置（第 13 行），即判断最小设置 ctl_min 的置 1 位在校正值 ctl 中是否依然置 1. 对 ctl 取反，则其所有置 0 位变为 1，如果 ctl_min 某对应位也是 1，则 (ctl_min & ~ctl) 出现真值，此时该位在 ctl_min 中原本为 1，但经校正后在 ctl 中却被置为了 0，即不满足最低要求。
如果满足最低要求，则在第 16 行将校正值写入输出结果，进而正常返回。