1*51f49692SMarouene Boubakri /* SPDX-License-Identifier: BSD-2-Clause */ 2*51f49692SMarouene Boubakri /* 3*51f49692SMarouene Boubakri * Copyright (c) 2018, Linaro Limited 4*51f49692SMarouene Boubakri */ 5*51f49692SMarouene Boubakri #ifndef MUTEX_LOCKDEP_H 6*51f49692SMarouene Boubakri #define MUTEX_LOCKDEP_H 7*51f49692SMarouene Boubakri 8*51f49692SMarouene Boubakri #include <compiler.h> 9*51f49692SMarouene Boubakri #include <kernel/mutex.h> 10*51f49692SMarouene Boubakri 11*51f49692SMarouene Boubakri #ifdef CFG_LOCKDEP 12*51f49692SMarouene Boubakri 13*51f49692SMarouene Boubakri void mutex_lock_check(struct mutex *m); 14*51f49692SMarouene Boubakri 15*51f49692SMarouene Boubakri void mutex_trylock_check(struct mutex *m); 16*51f49692SMarouene Boubakri 17*51f49692SMarouene Boubakri void mutex_unlock_check(struct mutex *m); 18*51f49692SMarouene Boubakri 19*51f49692SMarouene Boubakri void mutex_destroy_check(struct mutex *m); 20*51f49692SMarouene Boubakri 21*51f49692SMarouene Boubakri #else 22*51f49692SMarouene Boubakri mutex_lock_check(struct mutex * m __unused)23*51f49692SMarouene Boubakristatic inline void mutex_lock_check(struct mutex *m __unused) 24*51f49692SMarouene Boubakri {} 25*51f49692SMarouene Boubakri mutex_trylock_check(struct mutex * m __unused)26*51f49692SMarouene Boubakristatic inline void mutex_trylock_check(struct mutex *m __unused) 27*51f49692SMarouene Boubakri {} 28*51f49692SMarouene Boubakri mutex_unlock_check(struct mutex * m __unused)29*51f49692SMarouene Boubakristatic inline void mutex_unlock_check(struct mutex *m __unused) 30*51f49692SMarouene Boubakri {} 31*51f49692SMarouene Boubakri mutex_destroy_check(struct mutex * m __unused)32*51f49692SMarouene Boubakristatic inline void mutex_destroy_check(struct mutex *m __unused) 33*51f49692SMarouene Boubakri {} 34*51f49692SMarouene Boubakri 35*51f49692SMarouene Boubakri #endif /* !CFG_LOCKDEP */ 36*51f49692SMarouene Boubakri 37*51f49692SMarouene Boubakri #endif /* MUTEX_LOCKDEP_H */ 38