Searched refs:percpu_ppi_nr (Results 1 – 2 of 2) sorted by relevance
358 rt_size_t ppi_nr = _gic.percpu_ppi_nr[cpu_id]; in gicv3_redist_init()361 _gic.percpu_ppi_nr[cpu_id] = rt_min(typer_nr_ppis, ppi_nr); in gicv3_redist_init()408 ppi_nr = _gic.percpu_ppi_nr[cpu_id] + 16; in gicv3_cpu_init()
377 rt_size_t percpu_ppi_nr[RT_CPUS_NR]; member
Completed in 6 milliseconds