[coreboot-gerrit] Patch merged into coreboot/master: c0b972f Exynos5250: add a microsecond timer

the following patch was just integrated into master:
commit c0b972f60dbd1a3dadfc568b5245c6b0ee6df559
Author: Ronald G. Minnich 
Date:   Thu Apr 11 15:03:28 2013 -0700

Exynos5250: add a microsecond timer

Add a microsecond timer, its declaration, the function to start it,
    and its usage.  To start it, one calls timer_start().  From that point
    on, one can call timer_us() to find microseconds since the timer was
    started.

We show its use in the bootblock. You want it started very early.

Finally, the delay.h change having been (ironically) delayed, we
    create time.h and have it hold one declaration, for the timer_us() and
    timer_start() prototype.

We feel that these two functions should become the hardware specific
    functions, allowing us to finally move udelay() into src/lib where it
    belongs.

Change-Id: I19cbc2bb0089a3de88cfb94276266af38b9363c5
    Signed-off-by: Ronald G. Minnich 
    Reviewed-on: http://review.coreboot.org/3073
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Sat Apr 13 00:39:01 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Fri Apr 12 22:35:04 2013, giving +2
See http://review.coreboot.org/3073 for details.

-gerrit