ARM64: DTS: Add rk3399-firefly uart4 device, node as /dev/ttyS1
[firefly-linux-kernel-4.4.55.git] / arch / arm / mach-vexpress / core.h
1 bool vexpress_smp_init_ops(void);
2
3 extern struct smp_operations    vexpress_smp_dt_ops;
4
5 extern void vexpress_cpu_die(unsigned int cpu);