vkernel - Reuse vkernel_timer_get_timecount() for reading clock_gettime().
authorImre Vadász <imre@vdsz.com>
Fri, 25 Aug 2017 22:09:23 +0000 (00:09 +0200)
committerImre Vadász <imre@vdsz.com>
Sat, 26 Aug 2017 10:46:20 +0000 (12:46 +0200)
commit58d03237ee3f10a77dd26bf7c946498bed2a12e6
treed64408d7b4984a59e5a93bdbbd4387277e9b51fa
parentf48e8306e8407bd47866b4b7fdcc997f18351f9f
vkernel - Reuse vkernel_timer_get_timecount() for reading clock_gettime().
sys/platform/vkernel64/platform/systimer.c