tree fe665365fdcfcfe66899bc2e4572244e797e2631
parent 4dc242f93f9eab31f4ba7fc879830480d07b854c
author Austin Appleby <aappleby@google.com> 1638236018 -0800
committer Austin Appleby <aappleby@google.com> 1638239621 -0800

Switch timer syscalls that can't fail to use syscalls::raw - otherwise returning a 32-bit value with the high bit set gets interpreted as an error code by libtock-rs

Change-Id: Id4fe3c1c91d6655a0e6686c5204756b54579a067