Searched refs:gicr_set_igrpmodr0 (Results 1 – 3 of 3) sorted by relevance
144 void gicr_set_igrpmodr0(uintptr_t base, unsigned int id) in gicr_set_igrpmodr0() function525 gicr_set_igrpmodr0(gicr_base, irq_num); in gicv3_secure_ppi_sgi_configure()568 gicr_set_igrpmodr0(gicr_base, current_prop->intr_num); in gicv3_secure_ppi_sgi_configure_props()
72 void gicr_set_igrpmodr0(uintptr_t base, unsigned int id);
979 gicr_set_igrpmodr0(gicr_base, id); in gicv3_set_interrupt_type()