platsmp.h

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