| /* SPDX-License-Identifier: GPL-2.0-only */ |
| /* |
| * Copyright (C) ST-Ericsson SA 2010-2013 |
| * Author: Rickard Andersson <rickard.andersson@stericsson.com> for |
| * ST-Ericsson. |
| * Author: Daniel Lezcano <daniel.lezcano@linaro.org> for Linaro. |
| */ |
| |
| #ifndef ARM_UX500_PM_H |
| #define ARM_UX500_PM_H |
| |
| int prcmu_gic_decouple(void); |
| int prcmu_gic_recouple(void); |
| bool prcmu_gic_pending_irq(void); |
| bool prcmu_pending_irq(void); |
| bool prcmu_is_cpu_in_wfi(int cpu); |
| int prcmu_copy_gic_settings(void); |
| void ux500_pm_init(u32 phy_base, u32 size); |
| |
| #endif /* ARM_UX500_PM_H */ |
