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

 
 1/*
 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.
 5 *
 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.
10 *
11 * Copyright (C) 2012 ARM Limited
12 */
13
14#ifndef __ASM_ARM_PSCI_H
15#define __ASM_ARM_PSCI_H
16
17extern const struct smp_operations psci_smp_ops;
18
19#if defined(CONFIG_SMP) && defined(CONFIG_ARM_PSCI)
20bool psci_smp_available(void);
21#else
22static inline bool psci_smp_available(void) { return false; }
23#endif
24
25#endif /* __ASM_ARM_PSCI_H */