Function futex

pub fn futex<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    args: &[OpTy<'tcx>],
    dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx>

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