equal
deleted
inserted
replaced
139 |
139 |
140 // debugging |
140 // debugging |
141 static void sanity_checks(const bool verbose, |
141 static void sanity_checks(const bool verbose, |
142 const unsigned int cache_line_size, |
142 const unsigned int cache_line_size, |
143 int *error_cnt_ptr, int *warning_cnt_ptr); |
143 int *error_cnt_ptr, int *warning_cnt_ptr); |
144 static void verify() PRODUCT_RETURN; |
|
145 static int verify_objmon_isinpool(ObjectMonitor *addr) PRODUCT_RETURN0; |
144 static int verify_objmon_isinpool(ObjectMonitor *addr) PRODUCT_RETURN0; |
146 |
145 |
147 private: |
146 private: |
148 enum { _BLOCKSIZE = 128 }; |
147 enum { _BLOCKSIZE = 128 }; |
149 // global list of blocks of monitors |
148 // global list of blocks of monitors |