Searched refs:guest_l1d_flush (Results 1 – 1 of 1) sorted by relevance
211 int guest_l1d_flush; variable623 guest_l1d_flush = (cpu_ia32_arch_caps & in vmx_init()625 TUNABLE_INT_FETCH("hw.vmm.l1d_flush", &guest_l1d_flush); in vmx_init()634 if (guest_l1d_flush) { in vmx_init()650 guest_l1d_flush = 0; in vmx_init()844 if (guest_l1d_flush && !guest_l1d_flush_sw) { in vmx_vminit()