need_emulate_wbinvd 3496 arch/x86/kvm/x86.c 	if (need_emulate_wbinvd(vcpu)) {
need_emulate_wbinvd 5982 arch/x86/kvm/x86.c 	if (!need_emulate_wbinvd(vcpu))