Searched refs:gicr_set_icfgr1 (Results 1 – 2 of 2) sorted by relevance
260 void gicr_set_icfgr1(uintptr_t base, unsigned int id, unsigned int cfg) in gicr_set_icfgr1() function514 gicr_set_icfgr1(gicr_base, current_prop->intr_num, in gicv3_secure_ppi_sgi_config_props()
93 void gicr_set_icfgr1(uintptr_t base, unsigned int id, unsigned int cfg);