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 */
8extern volatile int versatile_cpu_release;
9
10extern void versatile_secondary_startup(void);
11extern void versatile_secondary_init(unsigned int cpu);
12extern int  versatile_boot_secondary(unsigned int cpu, struct task_struct *idle);
13void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);
14