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
12int prcmu_gic_decouple(void);
13int prcmu_gic_recouple(void);
14bool prcmu_gic_pending_irq(void);
15bool prcmu_pending_irq(void);
16bool prcmu_is_cpu_in_wfi(int cpu);
17int prcmu_copy_gic_settings(void);
18void ux500_pm_init(u32 phy_base, u32 size);
19
20#endif /* ARM_UX500_PM_H */
21

source code of linux/include/linux/platform_data/arm-ux500-pm.h