Searched refs:guest_l1d_flush (Results 1 – 1 of 1) sorted by relevance
221 int guest_l1d_flush; variable223 &guest_l1d_flush, 0, NULL);926 guest_l1d_flush = (cpu_ia32_arch_caps & in vmx_modinit()929 TUNABLE_INT_FETCH("hw.vmm.l1d_flush", &guest_l1d_flush); in vmx_modinit()931 TUNABLE_INT_FETCH("hw.vmm.vmx.l1d_flush", &guest_l1d_flush); in vmx_modinit()940 if (guest_l1d_flush) { in vmx_modinit()1183 if (guest_l1d_flush && !guest_l1d_flush_sw) { in vmx_vcpu_init()