18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci *
48c2ecf20Sopenharmony_ci * Copyright (C) 2012 ARM Limited
58c2ecf20Sopenharmony_ci */
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci#ifndef __ASM_ARM_PSCI_H
88c2ecf20Sopenharmony_ci#define __ASM_ARM_PSCI_H
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ciextern const struct smp_operations psci_smp_ops;
118c2ecf20Sopenharmony_ci
128c2ecf20Sopenharmony_ci#if defined(CONFIG_SMP) && defined(CONFIG_ARM_PSCI)
138c2ecf20Sopenharmony_cibool psci_smp_available(void);
148c2ecf20Sopenharmony_ci#else
158c2ecf20Sopenharmony_cistatic inline bool psci_smp_available(void) { return false; }
168c2ecf20Sopenharmony_ci#endif
178c2ecf20Sopenharmony_ci
188c2ecf20Sopenharmony_ci#endif /* __ASM_ARM_PSCI_H */
19