pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn os_unfair_lock_lock(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn os_unfair_lock_trylock(
&mut self,
lock_op: &OpTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn os_unfair_lock_unlock(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn os_unfair_lock_assert_owner(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn os_unfair_lock_assert_not_owner(
&mut self,
lock_op: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
}