x86_read_arch_cap_msr
extern u64 x86_read_arch_cap_msr(void);
x86_arch_cap_msr = x86_read_arch_cap_msr();
x86_arch_cap_msr = x86_read_arch_cap_msr();
u64 x86_arch_cap_msr = x86_read_arch_cap_msr();
val = x86_read_arch_cap_msr();
if (x86_read_arch_cap_msr() & ARCH_CAP_TSX_CTRL_MSR) {