kvm_emulate_wbinvd_noskip
kvm_emulate_wbinvd_noskip(vcpu);
kvm_emulate_wbinvd_noskip(emul_to_vcpu(ctxt));