193   static PerfCounter * _sync_Notifications;

   193   static PerfCounter * _sync_Notifications;

   194   static PerfCounter * _sync_Inflations;

   194   static PerfCounter * _sync_Inflations;

   195   static PerfCounter * _sync_Deflations;

   195   static PerfCounter * _sync_Deflations;

   196   static PerfLongVariable * _sync_MonExtant;

   196   static PerfLongVariable * _sync_MonExtant;

   197 

   197 

   203   static int Knob_SpinLimit;

   198   static int Knob_SpinLimit;

   204 

   199 

   205   void* operator new (size_t size) throw();

   200   void* operator new (size_t size) throw();

   206   void* operator new[] (size_t size) throw();

   201   void* operator new[] (size_t size) throw();

   207   void operator delete(void* p);

   202   void operator delete(void* p);