Searched refs:gicr_write_igroupr (Results 1 – 2 of 2) sorted by relevance
251 gicr_write_igroupr(gicr_base, i, ~0U); in gicv3_ppi_sgi_config_defaults()
470 static inline void gicr_write_igroupr(uintptr_t base, unsigned int reg_num, in gicr_write_igroupr() function