Searched refs:guest_l1d_flush_sw (Results 1 – 2 of 2) sorted by relevance
151 cmpb $0, guest_l1d_flush_sw(%rip)
222 int guest_l1d_flush_sw; variable224 &guest_l1d_flush_sw, 0, NULL);940 guest_l1d_flush_sw = 1; in vmx_modinit()943 &guest_l1d_flush_sw); in vmx_modinit()946 &guest_l1d_flush_sw); in vmx_modinit()948 if (guest_l1d_flush_sw) { in vmx_modinit()1181 if (guest_l1d_flush && !guest_l1d_flush_sw) { in vmx_vcpu_init()