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