Searched refs:saved_ppi_enable (Results 1 – 1 of 1) sorted by relevance
80 u32 __percpu *saved_ppi_enable; member656 ptr = raw_cpu_ptr(gic->saved_ppi_enable); in gic_cpu_save()686 ptr = raw_cpu_ptr(gic->saved_ppi_enable); in gic_cpu_restore()744 gic->saved_ppi_enable = __alloc_percpu(DIV_ROUND_UP(32, 32) * 4, in gic_pm_init()746 if (WARN_ON(!gic->saved_ppi_enable)) in gic_pm_init()767 free_percpu(gic->saved_ppi_enable); in gic_pm_init()