Function miri::shims::unix::sync::mutexattr_set_kind

fn mutexattr_set_kind<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    attr_op: &OpTy<'tcx>,
    kind: i32,
) -> InterpResult<'tcx, ()>