Re: [U-Boot] [PATCH] arm/s5pxx: Fix get_timer_masked to get the time.