ARM: restart: remove the now empty arch_reset()
[linux-3.10.git] / arch / arm / mach-shark / include /
drwxr-xr-x ..
drwxr-xr-x mach