Trait miri::shims::windows::sync::EvalContextExt

source · [−]
pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    fn AcquireSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn TryAcquireSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, u8> { ... }
    fn ReleaseSRWLockExclusive(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn AcquireSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn TryAcquireSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, u8> { ... }
    fn ReleaseSRWLockShared(
        &mut self,
        lock_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods

Implementors