Home
last modified time | relevance | path

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

/linux-6.12.1/drivers/irqchip/
Dirq-gic-v3.c69 unsigned int ppi_nr; member
1141 gic_data.ppi_nr = min(GICR_TYPER_NR_PPIS(typer), gic_data.ppi_nr); in __gic_update_rdist_properties()
1148 gic_data.ppi_nr = UINT_MAX; in gic_update_rdist_properties()
1150 if (WARN_ON(gic_data.ppi_nr == UINT_MAX)) in gic_update_rdist_properties()
1151 gic_data.ppi_nr = 0; in gic_update_rdist_properties()
1153 gic_data.ppi_nr, in gic_update_rdist_properties()
1310 WARN((gic_data.ppi_nr > 16 || GIC_ESPI_NR != 0) && in gic_cpu_init()
1318 for (i = 0; i < gic_data.ppi_nr + SGI_NR; i += 32) in gic_cpu_init()
1321 gic_cpu_config(rbase, gic_data.ppi_nr + SGI_NR, dist_prio_irq); in gic_cpu_init()
1995 rdist_nmi_refs = kcalloc(gic_data.ppi_nr + SGI_NR, in gic_enable_nmi_support()
[all …]