2 * This program is free software; you can redistribute it and/or modify
3 * it under the terms of the GNU General Public License version 2 as
4 * published by the Free Software Foundation.
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
11 * Copyright (C) 2013 ARM Limited
17 int __init psci_dt_init(void);
20 int __init psci_acpi_init(void);
21 bool __init acpi_psci_present(void);
22 bool __init acpi_psci_use_hvc(void);
24 static inline int psci_acpi_init(void) { return 0; }
25 static inline bool acpi_psci_present(void) { return false; }
28 #endif /* __ASM_PSCI_H */