EVTCHN_TYPE_VIRQ
[EVTCHN_TYPE_VIRQ] = "VIRQ",
if (isrc->xi_type == EVTCHN_TYPE_VIRQ)
case EVTCHN_TYPE_VIRQ:
if ((isrc->xi_type == EVTCHN_TYPE_VIRQ) ||
error = xen_intr_bind_isrc(&isrc, bind_virq.port, EVTCHN_TYPE_VIRQ,