Searched refs:saved_ppi_conf (Results 1 – 1 of 1) sorted by relevance
85 u32 __percpu *saved_ppi_conf; member681 ptr = raw_cpu_ptr(gic->saved_ppi_conf); in gic_cpu_save()717 ptr = raw_cpu_ptr(gic->saved_ppi_conf); in gic_cpu_restore()776 gic->saved_ppi_conf = __alloc_percpu(DIV_ROUND_UP(32, 16) * 4, in gic_pm_init()778 if (WARN_ON(!gic->saved_ppi_conf)) in gic_pm_init()
