servers/vm/sanitycheck.h

   1 #ifndef _SANITYCHECK_H
   2 #define _SANITYCHECK_H 1
   3
   4 #include <assert.h>
   5
   6 #include "vm.h"
   7
   8 #if SANITYCHECKS
   9
  10 /* This macro is used in the sanity check functions, where file and
  11  * line are function arguments.
  12  */
  13 #define MYASSERT(c) do { if(!(c)) { \
  14         printf("VM:%s:%d: %s failed\n", file, line, #c); \
  15         panic("sanity check failed"); } } while(0)
  16
  17 #define SLABSANITYCHECK(l) if((l) <= vm_sanitychecklevel) { \
  18         slab_sanitycheck(__FILE__, __LINE__); }
  19
  20 #define SANITYCHECK(l) if(!nocheck && ((l) <= vm_sanitychecklevel)) {  \
  21                 struct vmproc *vmpr;    \
  22                 assert(incheck == 0);   \
  23                 incheck = 1;            \
  24                 usedpages_reset();      \
  25         slab_sanitycheck(__FILE__, __LINE__);   \
  26         for(vmpr = vmproc; vmpr < &vmproc[VMP_NR]; vmpr++) { \
  27                 if((vmpr->vm_flags & (VMF_INUSE | VMF_HASPT)) == \
  28                         (VMF_INUSE | VMF_HASPT)) { \
  29                         PT_SANE(&vmpr->vm_pt); \
  30                 } \
  31         } \
  32         map_sanitycheck(__FILE__, __LINE__); \
  33         assert(incheck == 1);   \
  34         incheck = 0;            \
  35         }
  36
  37 #define SLABSANE(ptr) { \
  38         if(!slabsane_f(__FILE__, __LINE__, ptr, sizeof(*(ptr)))) { \
  39                 printf("VM:%s:%d: SLABSANE(%s)\n", __FILE__, __LINE__, #ptr); \
  40                 panic("SLABSANE failed");       \
  41         } \
  42 }
  43
  44 #else
  45 #define SANITYCHECK
  46 #define SLABSANITYCHECK(l)
  47 #define SLABSANE(ptr)
  48 #endif
  49
  50 #if MEMPROTECT
  51 #define USE(obj, code) do {             \
  52         slabunlock(obj, sizeof(*obj));  \
  53         do {                            \
  54                 code                    \
  55         } while(0);                     \
  56         slablock(obj, sizeof(*obj));    \
  57 } while(0)
  58 #else
  59 #define USE(obj, code) do { code } while(0)
  60 #endif
  61
  62 #endif