#ifndef _lockcheck
#define _lockcheck
-#define CHECK_LOCKS 0
-#define NUM_LOCKS 1024
-#if CHECK_LOCKS
+#ifdef V3_CONFIG_DEBUG_LOCKS
+
+// Maxmimum number of locks to handle
+#define NUM_LOCKS 1024
+// Maximum number of locks that can be simultaneously
+// held on each CPU
+#define LOCK_STACK_DEPTH 16
+
+//
+// The following macros are used
+// in the stub functions to call back to the lock
+// checker - if lock checking is not enabled, these
+// turn into nothing
+//
#define LOCKCHECK_INIT() palacios_lockcheck_init()
#define LOCKCHECK_ALLOC(lock) palacios_lockcheck_alloc(lock)
#define LOCKCHECK_FREE(lock) palacios_lockcheck_free(lock)
#define LOCKCHECK_LOCK_IRQSAVE(lock, flags) palacios_lockcheck_lock_irqsave(lock,flags)
#define LOCKCHECK_UNLOCK_IRQRESTORE(lock, flags) palacios_lockcheck_unlock_irqrestore(lock,flags)
#define LOCKCHECK_DEINIT() palacios_lockcheck_deinit()
+
+void palacios_lockcheck_init(void);
+void palacios_lockcheck_alloc(void *lock);
+void palacios_lockcheck_free(void *lock);
+void palacios_lockcheck_lock(void *lock);
+void palacios_lockcheck_unlock(void *lock);
+void palacios_lockcheck_lock_irqsave(void *lock,unsigned long flags);
+void palacios_lockcheck_unlock_irqrestore(void *lock,unsigned long flags);
+void palacios_lockcheck_deinit(void);
+
#else
+
+//
+// The following is what happens when lock checking is not on
+//
#define LOCKCHECK_INIT()
#define LOCKCHECK_ALLOC(lock)
#define LOCKCHECK_FREE(lock)
#define LOCKCHECK_LOCK_IRQSAVE(lock, flags)
#define LOCKCHECK_UNLOCK_IRQRESTORE(lock, flags)
#define LOCKCHECK_DEINIT()
+
#endif
-void palacios_lockcheck_init(void);
-void palacios_lockcheck_alloc(void *lock);
-void palacios_lockcheck_free(void *lock);
-void palacios_lockcheck_lock(void *lock);
-void palacios_lockcheck_unlock(void *lock);
-void palacios_lockcheck_lock_irqsave(void *lock,unsigned long flags);
-void palacios_lockcheck_unlock_irqrestore(void *lock,unsigned long flags);
-void palacios_lockcheck_deinit(void);
#endif
