miri::shims::unix::linux

Module sync

source

Functionsยง

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