Home
last modified time | relevance | path

Searched defs:ppi_regs_num (Results 1 – 2 of 2) sorted by relevance

/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgicv3_helpers.c223 unsigned int i, ppi_regs_num, regs_num; in gicv3_ppi_sgi_config_defaults() local
Dgicv3_main.c544 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_save() local
619 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_init_restore() local