kvm_set_way_flush
void kvm_set_way_flush(struct kvm_vcpu *vcpu);
kvm_set_way_flush(vcpu);
TRACE_EVENT(kvm_set_way_flush,