platsmp.h (414B)
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);