Searched defs:ppi_regs_num (Results 1 – 2 of 2) sorted by relevance
223 unsigned int i, ppi_regs_num, regs_num; in gicv3_ppi_sgi_config_defaults() local
544 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_save() local619 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_init_restore() local