[U-Boot] [PATCH V2] ARM: bcm2835: fix get_timer() to return ms

[Albert ARIBAUD]

Hi Stephen,

On Wed, 27 Mar 2013 22:43:23 -0600, Stephen Warren
<swarren at wwwdotorg.org> wrote:

> Apparently, CONFIG_SYS_HZ must be 1000. Change this, and fix the timer
> driver to conform to this.
> 
> Have the timer implementation export a custom API get_timer_us() for use
> by the BCM2835 MMC API, which needs us resolution for a HW workaround.
> 
> Signed-off-by: Stephen Warren <swarren at wwwdotorg.org>
> ---
> v2: Export custom API get_timer_us() to allow the MMC driver to maintain
>     its current workaround implementation.
> ---

This patch and "mmc: bcm2835: fix delays in bug workaround" cannot be
both applied together. Can you do a V2 for the delays fix patch too?

Amicalement,
-- 
Albert.