arm/mach-versatile/platsmp.h

0001 /* SPDX-License-Identifier: GPL-2.0-only */
0002 /*
0003  *  Copyright (C) 2011 ARM Ltd.
0004  *  All Rights Reserved
0005  */
0006 extern volatile int versatile_cpu_release;
0007
0008 extern void versatile_secondary_startup(void);
0009 extern void versatile_secondary_init(unsigned int cpu);
0010 extern int  versatile_boot_secondary(unsigned int cpu, struct task_struct *idle);
0011 void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);