2019-06-04 15:11:33 +07:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2011-09-08 19:15:22 +07:00
|
|
|
/*
|
|
|
|
* linux/arch/arm/plat-versatile/include/plat/platsmp.h
|
|
|
|
*
|
|
|
|
* Copyright (C) 2011 ARM Ltd.
|
|
|
|
* All Rights Reserved
|
|
|
|
*/
|
2018-12-13 19:54:26 +07:00
|
|
|
extern volatile int versatile_cpu_release;
|
2011-09-08 19:15:22 +07:00
|
|
|
|
|
|
|
extern void versatile_secondary_startup(void);
|
|
|
|
extern void versatile_secondary_init(unsigned int cpu);
|
|
|
|
extern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle);
|
2018-12-13 19:54:26 +07:00
|
|
|
void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);
|