Searched refs:gic_write_dir (Results 1 – 4 of 4) sorted by relevance
35 static __always_inline void gic_write_dir(u32 irq) in gic_write_dir() function
72 static inline void gic_write_dir(u32 val) in gic_write_dir() function
544 gic_write_dir(gic_irq(d)); in gic_eoimode1_eoi_irq()615 gic_write_dir(irqnr); in gic_deactivate_unhandled()
670 gic_write_dir(pid); in __vgic_v3_clear_active_lr()
