diff options
author | Paul Menzel <paulepanter@users.sourceforge.net> | 2015-10-20 22:27:05 +0200 |
---|---|---|
committer | Aaron Durbin <adurbin@chromium.org> | 2015-10-27 16:07:50 +0100 |
commit | be70646ccc2d770fb1385c6a9f36e13995014436 (patch) | |
tree | 27363e036cc19b342eab2c07fad6d5b5682e9566 /src/mainboard/jetway/nf81-t56n-lf/cmos.layout | |
parent | dcc63b6cb7dc60035235a97fd7bab51ed956ff54 (diff) |
include/timer.h: Guard `timer_monotonic_get()` calls by `CONFIG_HAVE_MONOTONIC_TIMER`
Some platforms do not have `timer_monotonic_get()` implemented. So only
call `timer_monotonic_get()` if `CONFIG_HAVE_MONOTONIC_TIMER` is
selected and set the times to 0 otherwise.
Change-Id: If9cba4c0c17a7011aa357079d8fdd0aa47ad1b66
Signed-off-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-on: http://review.coreboot.org/12105
Tested-by: build bot (Jenkins)
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'src/mainboard/jetway/nf81-t56n-lf/cmos.layout')
0 files changed, 0 insertions, 0 deletions