KVM_S390_RESTART
trace_kvm_s390_inject_vcpu(vcpu->vcpu_id, KVM_S390_RESTART, 0, 0);
case KVM_S390_RESTART:
case KVM_S390_RESTART:
irq->type = KVM_S390_RESTART;
trace_kvm_s390_deliver_interrupt(vcpu->vcpu_id, KVM_S390_RESTART, 0, 0);
{KVM_S390_RESTART, "sigp restart"}, \