Trait miri::shims::unix::thread::EvalContextExt

source · [−]
pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
    fn pthread_create(
        &mut self,
        thread: &OpTy<'tcx, Tag>,
        _attr: &OpTy<'tcx, Tag>,
        start_routine: &OpTy<'tcx, Tag>,
        arg: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn pthread_join(
        &mut self,
        thread: &OpTy<'tcx, Tag>,
        retval: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn pthread_detach(
        &mut self,
        thread: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn pthread_self(&mut self, dest: &PlaceTy<'tcx, Tag>) -> InterpResult<'tcx> { ... }
    fn prctl(&mut self, args: &[OpTy<'tcx, Tag>]) -> InterpResult<'tcx, i32> { ... }
    fn pthread_setname_np(
        &mut self,
        name: Pointer<Option<Tag>>
    ) -> InterpResult<'tcx> { ... }
    fn sched_yield(&mut self) -> InterpResult<'tcx, i32> { ... }
}

Provided Methods

Implementors