1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) ST-Ericsson SA 2010-2013 4 * Author: Rickard Andersson <rickard.andersson@stericsson.com> for 5 * ST-Ericsson. 6 * Author: Daniel Lezcano <daniel.lezcano@linaro.org> for Linaro. 7 */ 8 9 #ifndef ARM_UX500_PM_H 10 #define ARM_UX500_PM_H 11 12 int prcmu_gic_decouple(void); 13 int prcmu_gic_recouple(void); 14 bool prcmu_gic_pending_irq(void); 15 bool prcmu_pending_irq(void); 16 bool prcmu_is_cpu_in_wfi(int cpu); 17 int prcmu_copy_gic_settings(void); 18 void ux500_pm_init(u32 phy_base, u32 size); 19 20 #endif /* ARM_UX500_PM_H */