Searched refs:SGI_FPU_IPI (Results 1 – 2 of 2) sorted by relevance
35 #define SGI_FPU_IPI 2 macro163 irq_enable(SGI_FPU_IPI); in arch_secondary_cpu_init()273 gic_raise_sgi(SGI_FPU_IPI, mpidr, 1 << aff0); in arch_flush_fpu_ipi()285 if (arm_gic_irq_is_pending(SGI_FPU_IPI)) { in arch_spin_relax()286 arm_gic_irq_clear_pending(SGI_FPU_IPI); in arch_spin_relax()313 IRQ_CONNECT(SGI_FPU_IPI, IRQ_DEFAULT_PRIORITY, flush_fpu_ipi_handler, NULL, 0); in arch_smp_init()314 irq_enable(SGI_FPU_IPI); in arch_smp_init()
21 #define SGI_FPU_IPI 2 macro
