include/timer.h: Guard `timer_monotonic_get()` calls by `CONFIG_HAVE_MONOTONIC_TIMER`
tree27363e036cc19b342eab2c07fad6d5b5682e9566
-rw-r--r-- 2157 .gitignore
-rw-r--r-- 368 .gitmodules
-rw-r--r-- 83 .gitreview
drwxr-xr-x - 3rdparty
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Documentation
-rw-r--r-- 6114 MAINTAINERS
-rw-r--r-- 9771 Makefile
-rw-r--r-- 30874 Makefile.inc
-rw-r--r-- 3450 README
drwxr-xr-x - payloads
drwxr-xr-x - src
-rw-r--r-- 6123 toolchain.inc
drwxr-xr-x - util