[coreboot-gerrit] Patch merged into coreboot/master: 4393346 exynos: convert to stopwatch API

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 43933466e74dbdeb38ba8f5882ae8ed2372e3e4b
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Wed Sep 24 10:27:29 2014 -0500

    exynos: convert to stopwatch API
    
    Instead of open coding monotonic timer usage,
    use the stopwatch API.
    
    BUG=None
    BRANCH=None
    TEST=None
    
    Change-Id: I1c541c1c9f3fde0dec9163ad6cc94322538ac7f7
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: 46ede0897687da6bcf730a8904f25e5a4485d6cd
    Original-Change-Id: Ia63a05850a1b6afdc42c2422332f77af516d27e3
    Original-Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/219716
    Original-Reviewed-by: Julius Werner <jwerner at chromium.org>
    Original-Reviewed-by: David Hendricks <dhendrix at chromium.org>
    Original-Reviewed-by: Furquan Shaikh <furquan at chromium.org>
    Reviewed-on: http://review.coreboot.org/8825
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/8825 for details.

-gerrit