summaryrefslogtreecommitdiff
path: root/sys/lockdoc
diff options
context:
space:
mode:
Diffstat (limited to 'sys/lockdoc')
-rw-r--r--sys/lockdoc/log.c36
1 files changed, 36 insertions, 0 deletions
diff --git a/sys/lockdoc/log.c b/sys/lockdoc/log.c
index 52d5115da41..5bf1a9dbab4 100644
--- a/sys/lockdoc/log.c
+++ b/sys/lockdoc/log.c
@@ -1,10 +1,44 @@
#include <arch/x86/include/cpufunc.h>
+#include <sys/lockdebug.h>
#include <sys/lockdoc.h>
#ifdef LOCKDOC
struct log_action la_buffer;
+bool lockdoc_alloc(const char *func, size_t line, volatile void *lock, lockops_t *lo, uintptr_t initaddr){
+ // TODO Actually log things
+ return lockdebug_alloc(func, line, lock, lo, initaddr);
+}
+void lockdoc_free(bool dodebug, const char *func, size_t line, volatile void *lock){
+ // TODO Actually log things
+ if (dodebug) lockdebug_free(func, line, lock);
+}
+void lockdoc_wantlock(bool dodebug, const char *func, size_t line, const volatile void *lock, uintptr_t where, int shared){
+ // TODO Actually log things
+ if (dodebug) lockdebug_wantlock(func, line, lock, where, shared);
+}
+void lockdoc_locked(bool dodebug, const char *func, size_t line, volatile void *lock, void *cvlock, uintptr_t where, int shared){
+ // TODO Actually log things
+ if (dodebug) lockdebug_locked(func, line, lock, cvlock, where, shared);
+}
+void lockdoc_unlocked(bool dodebug, const char *func, size_t line, volatile void *lock, uintptr_t where, int shared){
+ // TODO Actually log things
+ if (dodebug) lockdebug_unlocked(func, line, lock, where, shared);
+}
+void lockdoc_barrier(const char *func, size_t line, volatile void *spinlock, int slplocks){
+ // TODO Actually log things
+ lockdebug_barrier(func, line, spinlock, slplocks);
+}
+void lockdoc_mem_check(const char *func, size_t line, void *base, size_t sz){
+ // TODO Actually log things
+ lockdebug_mem_check(func, line, base, sz);
+}
+void lockdoc_wakeup(bool dodebug, const char *func, size_t line, volatile void *lock, uintptr_t where){
+ // TODO Actually log things
+ if (dodebug) lockdebug_wakeup(func, line, lock, where);
+}
+
void __x86_disable_intr(const char *file, int line, const char *func){
// TODO Actually log things
lockdoc_x86_disable_intr();
@@ -15,4 +49,6 @@ void __x86_enable_intr(const char *file, int line, const char *func){
lockdoc_x86_enable_intr();
}
+
+
#endif /* LOCKDOC */ \ No newline at end of file