DELTA 334009 878 113 SVNct T0Q{e~ static int guest_l1d_flush; SYSCTL_INT(_hw_vmm_vmx, OID_AUTO, l1d_flush, CTLFLAG_RD, &guest_l1d_flush, 0, NULL); uint64_t vmx_msr_flush_cmdguest_l1d_flush = (cpu_ia32_arch_caps & IA32_ARCH_CAP_RDCL_NO) == 0; TUNABLE_INT_FETCH("hw.vmm.l1d_flush", &guest_l1d_flush); if (guest_l1d_flush && (cpu_stdext_feature3 & CPUID_STDEXT3_L1D_FLUSH) != 0) vmx_msr_flush_cmd = IA32_FLUSH_CMD_L1D;ENDREP DELTA 326257 9655 68 SVN8 O 3 /N#include 6i\IyL)4nN?ˉG?Mk<ؒ;-G~NV H/KP;/K%ߠ#StW|\&S*oQ-