summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-06-22 18:40:12 -0700
committerOri Bernstein <ori@eigenstate.org>2018-06-22 18:40:12 -0700
commit80f49f992599c8b8964cc5cc857dae006fd92374 (patch)
tree49d76d2d087f76fb5fa447bf81c45f3e257773a4
parent7c2f25e309226a9506ea4b37e94e560017e83994 (diff)
downloadmc-threadwork.tar.gz
Fix tests on FreeBSDthreadwork
-rw-r--r--lib/thread/futex+freebsd.myr10
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/thread/futex+freebsd.myr b/lib/thread/futex+freebsd.myr
index 1ca52c7..c6e5aaa 100644
--- a/lib/thread/futex+freebsd.myr
+++ b/lib/thread/futex+freebsd.myr
@@ -13,11 +13,15 @@ const ftxwait = {uaddr, val, timeout
;;
var ut : sys._umtx_time = [
- ._timeout = timeout#
- ._flags = sys.Umtxabstime
+ ._timeout = timeout#,
+ ._flags = (sys.Umtxabstime : uint32),
._clockid = 1 /* CLOCK_MONOTONIC. Not exported from sys. */
]
- -> sys.umtx_op((uaddr : void#), sys.Umtxwaituintpriv, (val : uint64), (sys.sizeof(sys._umtx_time) : void#), &ut)
+ -> sys.umtx_op((uaddr : void#),
+ sys.Umtxwaituintpriv,
+ (val : uint64),
+ (sizeof(sys._umtx_time) : void#),
+ (&ut : void#))
}
const ftxwake = {uaddr