1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2011 ARM Ltd.
6 extern volatile int versatile_cpu_release;
8 extern void versatile_secondary_startup(void);
9 extern void versatile_secondary_init(unsigned int cpu);
10 extern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle);
11 void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);