[PATCH] x86-64: Use irq_domain in ioapic_retrigger_irq