Timer: Remove reset_timer() for non-Nios2 arches
[platform/kernel/u-boot.git] / arch / arm / cpu / arm926ejs / versatile /
drwxr-xr-x   ..
-rw-r--r-- 1402 Makefile
-rw-r--r-- 1472 reset.S
-rw-r--r-- 5494 timer.c