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