/* Disable an individual interrupt (IRQ) 
The irq_disable() routine is provided by the interrupt controller driver due to the IRQ virtualization that is performed by this platform. See the comments in _interrupt_vector_allocate() for more information regarding IRQ virtualization.  */
__pinned_func void arch_irq_disable(unsigned int irq)
/* Disable an individual interrupt (IRQ) 
The irq_disable() routine is provided by the interrupt controller driver due to the IRQ virtualization that is performed by this platform. See the comments in _interrupt_vector_allocate() for more information regarding IRQ virtualization.  */
__pinned_func void arch_irq_disable(unsigned int irq)
{
	if (IS_IOAPIC_IRQ(irq)) {
		z_ioapic_irq_disable(irq);
	} else {
		z_loapic_irq_disable(irq - z_loapic_irq_base());
	}
}