[coreboot-gerrit] Patch merged into coreboot/master: 3a6550d timestamps: Switch from tsc_t to uint64_t

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 3a6550d989460f9449136814a8b1f6b051a6382d
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Thu Aug 1 13:31:44 2013 -0700

    timestamps: Switch from tsc_t to uint64_t
    
    Cherry-pick from chromium and adjusted for added boards
    and changed directory layout for arch/arm.
    
    Timestamp implementation for ARMv7
    
    Abstract the use of rdtsc() and make the timestamps
    uint64_t in the generic code.
    
    The ARM implementation uses the monotonic timer.
    
    Original-Signed-off-by: Stefan Reinauer <reinauer at google.com>
    
    BRANCH=none
    BUG=chrome-os-partner:18637
    TEST=See cbmem print timestamps
    
    Original-Change-Id: Id377ba570094c44e6895ae75f8d6578c8865ea62
    Original-Reviewed-on: https://gerrit.chromium.org/gerrit/63793
    (cherry-picked from commit cc1a75e059020a39146e25b9198b0d58aa03924c)
    
    Change-Id: Ic51fb78ddd05ba81906d9c3b35043fa14fbbed75
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: http://review.coreboot.org/8020
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones <marc.jones at se-eng.com>


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

-gerrit