Home | History | Annotate | Line # | Download | only in linux
lockdep.h revision 1.4
      1  1.4  riastrad /*	$NetBSD: lockdep.h,v 1.4 2021/12/19 11:04:42 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.4  riastrad struct mutex;
     36  1.4  riastrad struct spinlock;
     37  1.4  riastrad 
     38  1.1  riastrad #define	__acquires(lock)	/* XXX lockdep annotation */
     39  1.1  riastrad #define	__releases(lock)	/* XXX lockdep annotation */
     40  1.1  riastrad 
     41  1.1  riastrad #define	__lockdep_used			__debugused
     42  1.1  riastrad #define	lock_acquire_shared_recursive(l, s, t, n, i)	__nothing
     43  1.3  riastrad #define	lock_release(l, n)		__nothing
     44  1.2  riastrad #ifdef notyet
     45  1.1  riastrad #define	lockdep_assert_held(m)		KDASSERT(lockdep_is_held(m))
     46  1.1  riastrad #define	lockdep_assert_held_once(m)	KDASSERT(lockdep_is_held(m))
     47  1.1  riastrad #define	lockdep_is_held(m)		mutex_owned(__lockdep_kmutex(m))
     48  1.1  riastrad #define	might_lock(m)							      \
     49  1.1  riastrad 	KDASSERT(mutex_ownable(__lockdep_kmutex(m)))
     50  1.2  riastrad #else
     51  1.2  riastrad #define	lockdep_assert_held(m)		do {} while (0)
     52  1.2  riastrad #define	lockdep_assert_held_once(m)	do {} while (0)
     53  1.2  riastrad #define	lockdep_is_held(m)		1
     54  1.2  riastrad #define	might_lock(m)			do {} while (0)
     55  1.2  riastrad #endif
     56  1.1  riastrad 
     57  1.1  riastrad #define	__lockdep_kmutex(m)						      \
     58  1.1  riastrad 	(__builtin_types_compatible_p(typeof(*(m)), struct mutex) ?	      \
     59  1.1  riastrad 		&((const struct mutex *)(m))->mtx_lock			      \
     60  1.1  riastrad 	    : __builtin_types_compatible_p(typeof(*(m)), struct spinlock) ?   \
     61  1.1  riastrad 		&((const struct spinlock *)(m))->sl_lock		      \
     62  1.1  riastrad 	    : NULL)
     63  1.1  riastrad 
     64  1.1  riastrad #define	SINGLE_DEPTH_NESTING	0
     65  1.1  riastrad 
     66  1.4  riastrad struct pin_cookie {
     67  1.4  riastrad 	int	dummy;
     68  1.4  riastrad };
     69  1.4  riastrad 
     70  1.4  riastrad static inline struct pin_cookie
     71  1.4  riastrad lockdep_pin_lock(struct mutex *m)
     72  1.4  riastrad {
     73  1.4  riastrad 	return (struct pin_cookie) { (int)(intptr_t)m };
     74  1.4  riastrad }
     75  1.4  riastrad 
     76  1.4  riastrad static inline void
     77  1.4  riastrad lockdep_unpin_lock(struct mutex *m, struct pin_cookie cookie)
     78  1.4  riastrad {
     79  1.4  riastrad 	KASSERT(cookie.dummy == (int)(intptr_t)m);
     80  1.4  riastrad }
     81  1.4  riastrad 
     82  1.1  riastrad #endif	/* _LINUX_LOCKDEP_H_ */
     83