Searched refs:gic_write_dir (Results 1 – 5 of 5) sorted by relevance
17 void (*gic_write_dir)(u32 irq); member
96 gic_common_ops->gic_write_dir(intid); in gic_set_dir()
413 .gic_write_dir = gicv3_write_dir,
67 static inline void gic_write_dir(u32 val) in CPUIF_MAP()
143 gic_write_dir(intid); in vgic_v3_deactivate_phys()