miri::shims::unix::linux

Module sync

Source

Structs§

Functions§

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