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 */ |
21 | |