Timer: Remove reset_timer() for non-Nios2 arches
[platform/kernel/u-boot.git] / board / armltd /
drwxr-xr-x   ..
drwxr-xr-x - integrator
drwxr-xr-x - versatile
drwxr-xr-x - vexpress