[coreboot-gerrit] Patch merged into coreboot/master: a7a3917 timer: remove rela_time type

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit a7a3917d4839dbb4e2bbc9d452a75fd974e1ac35
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Wed Sep 24 09:56:18 2014 -0500

    timer: remove rela_time type
    
    Current usage doesn't require rela_time. Remove it.
    
    BUG=None
    BRANCH=None
    TEST=Built and booted.
    
    Change-Id: I25dcc1912f5db903a0523428ed1c0307db088eaa
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: 26a13d4c615473407f401af4330199bbfe0dd2b1
    Original-Change-Id: I487ea81ffb586110e9a1c3c2629d4af749482177
    Original-Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/219714
    Original-Reviewed-by: Furquan Shaikh <furquan at chromium.org>
    Reviewed-on: http://review.coreboot.org/8896
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit