#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(lock) palacios_lockcheck_lock(lock)
-#define LOCKCHECK_UNLOCK(lock) palacios_lockcheck_unlock(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_LOCK_PRE(lock)
+#define LOCKCHECK_LOCK_POST(lock) palacios_lockcheck_lock(lock)
+#define LOCKCHECK_UNLOCK_PRE(lock) palacios_lockcheck_unlock(lock)
+#define LOCKCHECK_UNLOCK_POST(lock)
+#define LOCKCHECK_LOCK_IRQSAVE_PRE(lock, flags)
+#define LOCKCHECK_LOCK_IRQSAVE_POST(lock, flags) palacios_lockcheck_lock_irqsave(lock,flags)
+#define LOCKCHECK_UNLOCK_IRQRESTORE_PRE(lock, flags) palacios_lockcheck_unlock_irqrestore_pre(lock,flags)
+#define LOCKCHECK_UNLOCK_IRQRESTORE_POST(lock, flags) palacios_lockcheck_unlock_irqrestore_post(lock,flags)
#define LOCKCHECK_DEINIT() palacios_lockcheck_deinit()
void palacios_lockcheck_init(void);
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_unlock_irqrestore_pre(void *lock,unsigned long flags);
+void palacios_lockcheck_unlock_irqrestore_post(void *lock,unsigned long flags);
void palacios_lockcheck_deinit(void);
#else
#define LOCKCHECK_INIT()
#define LOCKCHECK_ALLOC(lock)
#define LOCKCHECK_FREE(lock)
-#define LOCKCHECK_LOCK(lock)
-#define LOCKCHECK_UNLOCK(lock)
-#define LOCKCHECK_LOCK_IRQSAVE(lock, flags)
-#define LOCKCHECK_UNLOCK_IRQRESTORE(lock, flags)
+#define LOCKCHECK_LOCK_PRE(lock)
+#define LOCKCHECK_LOCK_POST(lock)
+#define LOCKCHECK_UNLOCK_PRE(lock)
+#define LOCKCHECK_UNLOCK_POST(lock)
+#define LOCKCHECK_LOCK_IRQSAVE_PRE(lock, flags)
+#define LOCKCHECK_LOCK_IRQSAVE_POST(lock, flags)
+#define LOCKCHECK_UNLOCK_IRQRESTORE_PRE(lock, flags)
+#define LOCKCHECK_UNLOCK_IRQRESTORE_POST(lock, flags)
#define LOCKCHECK_DEINIT()
#endif