ppi_regs_num (definition) in projects: arm-trusted-firmware-2.8.0

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

/arm-trusted-firmware-2.8.0/drivers/arm/gic/v3/
A D	gicv3_helpers.c	`260 unsigned int i, ppi_regs_num, regs_num; in gicv3_ppi_sgi_config_defaults() local`
A D	gicv3_main.c	`554 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_save() local 629 unsigned int i, ppi_regs_num, regs_num; in gicv3_rdistif_init_restore() local`

Completed in 5 milliseconds