arch/arm/mach-vexpress/core.h

bool vexpress_smp_init_ops(void);

extern struct smp_operations	vexpress_smp_dt_ops;

extern void vexpress_cpu_die(unsigned int cpu);