xen_register_pirq
return xen_register_pirq(gsi, trigger,
irq = xen_register_pirq(gsi, triggering, true);
xen_register_pirq(irq,