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