Searched refs:guest_l1d_flush_sw (Results 1 – 1 of 1) sorted by relevance
212 int guest_l1d_flush_sw; variable636 guest_l1d_flush_sw = 1; in vmx_init()638 &guest_l1d_flush_sw); in vmx_init()640 if (guest_l1d_flush_sw) { in vmx_init()844 if (guest_l1d_flush && !guest_l1d_flush_sw) { in vmx_vminit()