ppi_regs_num (definition) in projects: trusted-firmware-a

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

/trusted-firmware-a/drivers/arm/gic/v3/
A D	gicv3_helpers.c	`258 unsigned int i, ppi_regs_num, regs_num; in gicv3_ppi_sgi_config_defaults() local`
A D	gicv3_main.c	`544 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`

Completed in 5 milliseconds