kvm_emulate_wbinvd_noskip 6000 arch/x86/kvm/x86.c 	kvm_emulate_wbinvd_noskip(vcpu);
kvm_emulate_wbinvd_noskip 6009 arch/x86/kvm/x86.c 	kvm_emulate_wbinvd_noskip(emul_to_vcpu(ctxt));