Searched refs:gic_write_dir (Results 1 – 4 of 4) 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,
143 gic_write_dir(intid); in vgic_v3_deactivate_phys()