arm_irq_memory_barrier
arm_irq_memory_barrier(irq);
arm_irq_memory_barrier(irq);
#define IRQ_MEMORY_BARRIER(x) arm_irq_memory_barrier(x)
arm_irq_memory_barrier(0);
arm_irq_memory_barrier(0);
arm_irq_memory_barrier(irq);
arm_irq_memory_barrier(gi->gi_irq);
arm_irq_memory_barrier(0);
arm_irq_memory_barrier(0);
arm_irq_memory_barrier(bgi->bgi_irq);
arm_irq_memory_barrier(0); /* XXX */
arm_irq_memory_barrier(bii->bii_irq);
arm_irq_memory_barrier(0); /* XXX */
arm_irq_memory_barrier(bli->bli_irq);
arm_irq_memory_barrier(0);
arm_irq_memory_barrier(0);
void arm_irq_memory_barrier(uintptr_t);
arm_irq_memory_barrier(irq); /* XXX */
arm_irq_memory_barrier(irq);
arm_irq_memory_barrier(tgi->tgi_irq);