Searched refs:gic_irq_set_config (Results 1 – 5 of 5) sorted by relevance
153 void gic_irq_set_config(unsigned int intid, bool is_edge) in gic_irq_set_config() function156 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
402 .gic_irq_set_config = gicv3_irq_set_config,
59 void gic_irq_set_config(unsigned int intid, bool is_edge);
480 gic_irq_set_config(i, !level_sensitive); in guest_code()