1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * linux/arch/arm/plat-versatile/include/plat/platsmp.h 4 * 5 * Copyright (C) 2011 ARM Ltd. 6 * All Rights Reserved 7 */ 8 extern volatile int versatile_cpu_release; 9 10 extern void versatile_secondary_startup(void); 11 extern void versatile_secondary_init(unsigned int cpu); 12 extern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle); 13 void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);