miri::shims::unix::linux_like

Module sync

Source

Structs§

LinuxFutex 🔒

Functions§

futex
Implementation of the SYS_futex syscall. args is the arguments including the syscall number.