arm/s5pxx: Fix get_timer_masked to get the time.
[platform/kernel/u-boot.git] / arch / arm / cpu / armv7 / s5p-common /
drwxr-xr-x   ..
-rw-r--r-- 1430 Makefile
-rw-r--r-- 1397 cpu_info.c
-rw-r--r-- 4295 pwm.c
-rw-r--r-- 1609 sromc.c
-rw-r--r-- 3636 timer.c
-rw-r--r-- 1635 wdt.c