linux_module/lockcheck.h

   1 #ifndef _lockcheck
   2 #define _lockcheck
   3
   4 #define CHECK_LOCKS  0
   5 #define NUM_LOCKS    1024
   6
   7 #if CHECK_LOCKS
   8 #define LOCKCHECK_INIT() palacios_lockcheck_init()
   9 #define LOCKCHECK_ALLOC(lock) palacios_lockcheck_alloc(lock)
  10 #define LOCKCHECK_FREE(lock)  palacios_lockcheck_free(lock)
  11 #define LOCKCHECK_LOCK(lock)  palacios_lockcheck_lock(lock)
  12 #define LOCKCHECK_UNLOCK(lock) palacios_lockcheck_unlock(lock)
  13 #define LOCKCHECK_LOCK_IRQSAVE(lock, flags)  palacios_lockcheck_lock_irqsave(lock,flags)
  14 #define LOCKCHECK_UNLOCK_IRQRESTORE(lock, flags) palacios_lockcheck_unlock_irqrestore(lock,flags)
  15 #define LOCKCHECK_DEINIT() palacios_lockcheck_deinit()
  16 #else
  17 #define LOCKCHECK_INIT()
  18 #define LOCKCHECK_ALLOC(lock)
  19 #define LOCKCHECK_FREE(lock)
  20 #define LOCKCHECK_LOCK(lock)
  21 #define LOCKCHECK_UNLOCK(lock)
  22 #define LOCKCHECK_LOCK_IRQSAVE(lock, flags)
  23 #define LOCKCHECK_UNLOCK_IRQRESTORE(lock, flags)
  24 #define LOCKCHECK_DEINIT()
  25 #endif
  26
  27 void palacios_lockcheck_init(void);
  28 void palacios_lockcheck_alloc(void *lock);
  29 void palacios_lockcheck_free(void *lock);
  30 void palacios_lockcheck_lock(void *lock);
  31 void palacios_lockcheck_unlock(void *lock);
  32 void palacios_lockcheck_lock_irqsave(void *lock,unsigned long flags);
  33 void palacios_lockcheck_unlock_irqrestore(void *lock,unsigned long flags);
  34 void palacios_lockcheck_deinit(void);
  35
  36 #endif