1*9952f691SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */ 25c753e04SThierry Reding /* 35c753e04SThierry Reding * Copyright (c) 2011, ARM Ltd. 45c753e04SThierry Reding * Copyright (c) 2013, NVIDIA Corporation. All rights reserved. 55c753e04SThierry Reding */ 65c753e04SThierry Reding 75c753e04SThierry Reding #ifndef __MACH_TEGRA_COMMON_H 85c753e04SThierry Reding #define __MACH_TEGRA_COMMON_H 95c753e04SThierry Reding 1075305275SMasahiro Yamada extern const struct smp_operations tegra_smp_ops; 11a1725732SMarc Zyngier 12b8119431SJoseph Lo extern int tegra_cpu_kill(unsigned int cpu); 13a1725732SMarc Zyngier extern void tegra_cpu_die(unsigned int cpu); 145c753e04SThierry Reding 155c753e04SThierry Reding #endif 16