Symbol: need_emulate_wbinvd
arch/x86/kvm/x86.c
5175
if (need_emulate_wbinvd(vcpu)) {
arch/x86/kvm/x86.c
8510
if (!need_emulate_wbinvd(vcpu))