/* Program interrupt controller. 
The Galileo board virtualizes IRQs as follows: */
__boot_func void z_irq_controller_irq_config(unsigned int vector, unsigned int irq, uint32_t flags)
/* Program interrupt controller. 
The Galileo board virtualizes IRQs as follows: */
__boot_func void z_irq_controller_irq_config(unsigned int vector, unsigned int irq, uint32_t flags)
{
	__ASSERT(irq <= HARDWARE_IRQ_LIMIT, "invalid irq line");
	if (IS_IOAPIC_IRQ(irq)) {
		z_ioapic_irq_set(irq, vector, flags);
	} else {
		z_loapic_int_vec_set(irq - z_loapic_irq_base(), vector);
	}
}