Searched refs:gic_irq_set_config (Results 1 – 5 of 5) sorted by relevance
157 void gic_irq_set_config(unsigned int intid, bool is_edge) in gic_irq_set_config() function160 gic_common_ops->gic_irq_set_config(intid, is_edge); in gic_irq_set_config()
27 void (*gic_irq_set_config)(uint32_t intid, bool is_edge); member
397 .gic_irq_set_config = gicv3_irq_set_config,
45 void gic_irq_set_config(unsigned int intid, bool is_edge);
487 gic_irq_set_config(i, !level_sensitive); in guest_code()