Home
last modified time | relevance | path

Searched refs:gicr_set_icfgr (Results 1 – 3 of 3) sorted by relevance

/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgicrv3_helpers.c130 void gicr_set_icfgr(uintptr_t base, unsigned int id, unsigned int cfg) in gicr_set_icfgr() function
Dgicv3_helpers.c319 gicr_set_icfgr(gicr_base, intr_num, in gicv3_secure_ppi_sgi_config_props()
Dgicv3_private.h230 void gicr_set_icfgr(uintptr_t base, unsigned int id, unsigned int cfg);