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

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

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