1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 *
4 * Copyright (C) 2012 ARM Limited
5 */
6
7#ifndef __ASM_ARM_PSCI_H
8#define __ASM_ARM_PSCI_H
9
10extern const struct smp_operations psci_smp_ops;
11
12#if defined(CONFIG_SMP) && defined(CONFIG_ARM_PSCI)
13bool psci_smp_available(void);
14#else
15static inline bool psci_smp_available(void) { return false; }
16#endif
17
18#endif /* __ASM_ARM_PSCI_H */
19