18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * linux/arch/arm/plat-versatile/include/plat/platsmp.h 48c2ecf20Sopenharmony_ci * 58c2ecf20Sopenharmony_ci * Copyright (C) 2011 ARM Ltd. 68c2ecf20Sopenharmony_ci * All Rights Reserved 78c2ecf20Sopenharmony_ci */ 88c2ecf20Sopenharmony_ciextern volatile int versatile_cpu_release; 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ciextern void versatile_secondary_startup(void); 118c2ecf20Sopenharmony_ciextern void versatile_secondary_init(unsigned int cpu); 128c2ecf20Sopenharmony_ciextern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle); 138c2ecf20Sopenharmony_civoid versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask); 14