/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* | |
* | |
* Copyright (C) 2012 ARM Limited | |
*/ | |
#ifndef __ASM_ARM_PSCI_H | |
#define __ASM_ARM_PSCI_H | |
extern const struct smp_operations psci_smp_ops; | |
#if defined(CONFIG_SMP) && defined(CONFIG_ARM_PSCI) | |
bool psci_smp_available(void); | |
#else | |
static inline bool psci_smp_available(void) { return false; } | |
#endif | |
#endif /* __ASM_ARM_PSCI_H */ |