Function miri::shims::unix::linux::sync::futex

source ·

pub fn futex<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    args: &[OpTy<'tcx, Provenance>],
    dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>

Expand description

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