162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (C) 2011 ARM Ltd. 462306a36Sopenharmony_ci * All Rights Reserved 562306a36Sopenharmony_ci */ 662306a36Sopenharmony_ciextern volatile int versatile_cpu_release; 762306a36Sopenharmony_ci 862306a36Sopenharmony_ciextern void versatile_secondary_startup(void); 962306a36Sopenharmony_ciextern void versatile_secondary_init(unsigned int cpu); 1062306a36Sopenharmony_ciextern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle); 1162306a36Sopenharmony_civoid versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask); 12