tree 868a67a9115ae3173498d032a3d6b6bc66b2ff54
parent 42e14f05214399e9362110867207e282b80b7977
author Zhong Hongbo <bocui107@gmail.com> 1341237049 +0000
committer Albert ARIBAUD <albert.u.boot@aribaud.net> 1346504303 +0200

arm/s5pxx: Fix get_timer_masked to get the time.

In general, The get_timer_masked function get the system time,
no the number of ticks. Such as the nand_wait_ready will use
get_timer_masked to delay the operations. And change the system
time to adopt to the CONFIG_SYS_HZ.

Signed-off-by: Hongbo Zhong <bocui107@gmail.com>
Tested-by: Jaehoon Chung<jh80.chung@samsung.com>
Signed-off-by: Minkyu Kang <mk7.kang@samsung.com>