tree b0e336100a0fc3c4cf2c16b9088c15842759c964
parent 328503a66be1c3741f6f86b0cf9a18c0c88af7cc
author Austin Appleby <aappleby@google.com> 1642040258 -0800
committer Austin Appleby <aappleby@google.com> 1642119413 -0800

Fix some more signed/unsigned errors in the Tock timer driver.

Tock was using non-raw syscalls for set/stop alarm, which is incorrect
as the return value is a u32 and if the high bit is set, Tock
interprets that return value as an error.

There were also some time values declared as isize instead of usize -
this could potentially break things during timer overflow.

Change-Id: I93563d6b8991ff545244f03aab05ad30506c41b5