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