Searched refs:gic_write_dir (Results 1 – 4 of 4) sorted by relevance
35 static inline void gic_write_dir(u32 irq) in gic_write_dir() function
185 static inline void gic_write_dir(u32 val) in gic_write_dir() function
520 gic_write_dir(gic_irq(d)); in gic_eoimode1_eoi_irq()588 gic_write_dir(irqnr); in gic_deactivate_unhandled()658 gic_write_dir(irqnr); in gic_handle_irq()
686 gic_write_dir(pid); in __vgic_v3_clear_active_lr()
