Module miri::shims::unix::linux::sync

Structs

Callback 🔒

Functions

futex

Implementation of the SYS_futex syscall. args is the arguments after the syscall number.