Add the rt linux 4.1.3-rt3 as base

[kvmfornfv.git] / kernel / 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);