Merge branch 'work.splice_read' of git://git.kernel.org/pub/scm/linux/kernel/git...
[cascardo/linux.git] / arch / arm / mach-realview / hotplug.h
1 void realview_cpu_die(unsigned int cpu);