Searched refs:guest_l1d_flush (Results 1 – 1 of 1) sorted by relevance
212 int guest_l1d_flush; variable214 &guest_l1d_flush, 0, NULL);899 guest_l1d_flush = (cpu_ia32_arch_caps & in vmx_modinit()901 TUNABLE_INT_FETCH("hw.vmm.l1d_flush", &guest_l1d_flush); in vmx_modinit()910 if (guest_l1d_flush) { in vmx_modinit()1126 if (guest_l1d_flush && !guest_l1d_flush_sw) { in vmx_init()