arch/arm/plat-versatile/include/plat/platsmp.h

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