Searched refs:gicr_clr_igroupr0 (Results 1 – 3 of 3) sorted by relevance
120 void gicr_clr_igroupr0(uintptr_t base, unsigned int id) in gicr_clr_igroupr0() function521 gicr_clr_igroupr0(gicr_base, irq_num); in gicv3_secure_ppi_sgi_configure()562 gicr_clr_igroupr0(gicr_base, current_prop->intr_num); in gicv3_secure_ppi_sgi_configure_props()
80 void gicr_clr_igroupr0(uintptr_t base, unsigned int id);
976 gicr_clr_igroupr0(gicr_base, id); in gicv3_set_interrupt_type()