Function miri::shims::unix::sync::mutex_get_kind

source ·
fn mutex_get_kind<'mir, 'tcx: 'mir>(
    ecx: &MiriInterpCx<'mir, 'tcx>,
    mutex_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>