Home | History | Annotate | Line # | Download | only in linux
lockdep.h revision 1.6
      1  1.6  riastrad /*	$NetBSD: lockdep.h,v 1.6 2021/12/19 11:11:19 riastradh Exp $	*/
      2  1.1  riastrad 
      3  1.1  riastrad /*-
      4  1.1  riastrad  * Copyright (c) 2018 The NetBSD Foundation, Inc.
      5  1.1  riastrad  * All rights reserved.
      6  1.1  riastrad  *
      7  1.1  riastrad  * This code is derived from software contributed to The NetBSD Foundation
      8  1.1  riastrad  * by Taylor R. Campbell.
      9  1.1  riastrad  *
     10  1.1  riastrad  * Redistribution and use in source and binary forms, with or without
     11  1.1  riastrad  * modification, are permitted provided that the following conditions
     12  1.1  riastrad  * are met:
     13  1.1  riastrad  * 1. Redistributions of source code must retain the above copyright
     14  1.1  riastrad  *    notice, this list of conditions and the following disclaimer.
     15  1.1  riastrad  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.1  riastrad  *    notice, this list of conditions and the following disclaimer in the
     17  1.1  riastrad  *    documentation and/or other materials provided with the distribution.
     18  1.1  riastrad  *
     19  1.1  riastrad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  1.1  riastrad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  1.1  riastrad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  1.1  riastrad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  1.1  riastrad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  1.1  riastrad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  1.1  riastrad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  1.1  riastrad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  1.1  riastrad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  1.1  riastrad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  1.1  riastrad  * POSSIBILITY OF SUCH DAMAGE.
     30  1.1  riastrad  */
     31  1.1  riastrad 
     32  1.1  riastrad #ifndef _LINUX_LOCKDEP_H_
     33  1.1  riastrad #define _LINUX_LOCKDEP_H_
     34  1.1  riastrad 
     35  1.5  riastrad #include <sys/cdefs.h>
     36  1.5  riastrad #include <sys/types.h>
     37  1.5  riastrad 
     38  1.5  riastrad #include <lib/libkern/libkern.h>
     39  1.5  riastrad 
     40  1.4  riastrad struct mutex;
     41  1.4  riastrad struct spinlock;
     42  1.4  riastrad 
     43  1.1  riastrad #define	__acquires(lock)	/* XXX lockdep annotation */
     44  1.1  riastrad #define	__releases(lock)	/* XXX lockdep annotation */
     45  1.1  riastrad 
     46  1.1  riastrad #define	__lockdep_used			__debugused
     47  1.1  riastrad #define	lock_acquire_shared_recursive(l, s, t, n, i)	__nothing
     48  1.3  riastrad #define	lock_release(l, n)		__nothing
     49  1.2  riastrad #ifdef notyet
     50  1.1  riastrad #define	lockdep_assert_held(m)		KDASSERT(lockdep_is_held(m))
     51  1.1  riastrad #define	lockdep_assert_held_once(m)	KDASSERT(lockdep_is_held(m))
     52  1.1  riastrad #define	lockdep_is_held(m)		mutex_owned(__lockdep_kmutex(m))
     53  1.1  riastrad #define	might_lock(m)							      \
     54  1.1  riastrad 	KDASSERT(mutex_ownable(__lockdep_kmutex(m)))
     55  1.2  riastrad #else
     56  1.2  riastrad #define	lockdep_assert_held(m)		do {} while (0)
     57  1.2  riastrad #define	lockdep_assert_held_once(m)	do {} while (0)
     58  1.2  riastrad #define	lockdep_is_held(m)		1
     59  1.2  riastrad #define	might_lock(m)			do {} while (0)
     60  1.6  riastrad #define	might_lock_nested(m,n)		do {} while (0)
     61  1.2  riastrad #endif
     62  1.1  riastrad 
     63  1.1  riastrad #define	__lockdep_kmutex(m)						      \
     64  1.1  riastrad 	(__builtin_types_compatible_p(typeof(*(m)), struct mutex) ?	      \
     65  1.1  riastrad 		&((const struct mutex *)(m))->mtx_lock			      \
     66  1.1  riastrad 	    : __builtin_types_compatible_p(typeof(*(m)), struct spinlock) ?   \
     67  1.1  riastrad 		&((const struct spinlock *)(m))->sl_lock		      \
     68  1.1  riastrad 	    : NULL)
     69  1.1  riastrad 
     70  1.1  riastrad #define	SINGLE_DEPTH_NESTING	0
     71  1.1  riastrad 
     72  1.4  riastrad struct pin_cookie {
     73  1.4  riastrad 	int	dummy;
     74  1.4  riastrad };
     75  1.4  riastrad 
     76  1.4  riastrad static inline struct pin_cookie
     77  1.4  riastrad lockdep_pin_lock(struct mutex *m)
     78  1.4  riastrad {
     79  1.4  riastrad 	return (struct pin_cookie) { (int)(intptr_t)m };
     80  1.4  riastrad }
     81  1.4  riastrad 
     82  1.4  riastrad static inline void
     83  1.4  riastrad lockdep_unpin_lock(struct mutex *m, struct pin_cookie cookie)
     84  1.4  riastrad {
     85  1.4  riastrad 	KASSERT(cookie.dummy == (int)(intptr_t)m);
     86  1.4  riastrad }
     87  1.4  riastrad 
     88  1.1  riastrad #endif	/* _LINUX_LOCKDEP_H_ */
     89