yaffs Added more tests to direct/timothy_tests/mirror_tests
[yaffs2.git] / yaffs_verify.c
index 39d16e6363752a384a4c01e41e62a92d9a69c487..738c7f69a5ec1de2c10d0fcc0d77cc7d82d52917 100644 (file)
  * published by the Free Software Foundation.
  */
 
-
 #include "yaffs_verify.h"
 #include "yaffs_trace.h"
 #include "yaffs_bitmap.h"
 #include "yaffs_getblockinfo.h"
 #include "yaffs_nand.h"
 
-int yaffs_skip_verification(yaffs_dev_t *dev)
+int yaffs_skip_verification(struct yaffs_dev *dev)
 {
-       dev=dev;
-       return !(yaffs_trace_mask & (YAFFS_TRACE_VERIFY | YAFFS_TRACE_VERIFY_FULL));
+       dev = dev;
+       return !(yaffs_trace_mask &
+                (YAFFS_TRACE_VERIFY | YAFFS_TRACE_VERIFY_FULL));
 }
 
-static int yaffs_skip_full_verification(yaffs_dev_t *dev)
+static int yaffs_skip_full_verification(struct yaffs_dev *dev)
 {
-       dev=dev;
+       dev = dev;
        return !(yaffs_trace_mask & (YAFFS_TRACE_VERIFY_FULL));
 }
 
-static int yaffs_skip_nand_verification(yaffs_dev_t *dev)
+static int yaffs_skip_nand_verification(struct yaffs_dev *dev)
 {
-       dev=dev;
+       dev = dev;
        return !(yaffs_trace_mask & (YAFFS_TRACE_VERIFY_NAND));
 }
 
-
-static const char *block_stateName[] = {
-"Unknown",
-"Needs scanning",
-"Scanning",
-"Empty",
-"Allocating",
-"Full",
-"Dirty",
-"Checkpoint",
-"Collecting",
-"Dead"
+static const char *block_state_name[] = {
+       "Unknown",
+       "Needs scanning",
+       "Scanning",
+       "Empty",
+       "Allocating",
+       "Full",
+       "Dirty",
+       "Checkpoint",
+       "Collecting",
+       "Dead"
 };
 
-
-void yaffs_verify_blk(yaffs_dev_t *dev, yaffs_block_info_t *bi, int n)
+void yaffs_verify_blk(struct yaffs_dev *dev, struct yaffs_block_info *bi, int n)
 {
-       int actuallyUsed;
-       int inUse;
+       int actually_used;
+       int in_use;
 
        if (yaffs_skip_verification(dev))
                return;
 
        /* Report illegal runtime states */
        if (bi->block_state >= YAFFS_NUMBER_OF_BLOCK_STATES)
-               T(YAFFS_TRACE_VERIFY, (TSTR("Block %d has undefined state %d"TENDSTR), n, bi->block_state));
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Block %d has undefined state %d",
+                       n, bi->block_state);
 
        switch (bi->block_state) {
        case YAFFS_BLOCK_STATE_UNKNOWN:
        case YAFFS_BLOCK_STATE_SCANNING:
        case YAFFS_BLOCK_STATE_NEEDS_SCANNING:
-               T(YAFFS_TRACE_VERIFY, (TSTR("Block %d has bad run-state %s"TENDSTR),
-               n, block_stateName[bi->block_state]));
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Block %d has bad run-state %s",
+                       n, block_state_name[bi->block_state]);
        }
 
        /* Check pages in use and soft deletions are legal */
 
-       actuallyUsed = bi->pages_in_use - bi->soft_del_pages;
-
-       if (bi->pages_in_use < 0 || bi->pages_in_use > dev->param.chunks_per_block ||
-          bi->soft_del_pages < 0 || bi->soft_del_pages > dev->param.chunks_per_block ||
-          actuallyUsed < 0 || actuallyUsed > dev->param.chunks_per_block)
-               T(YAFFS_TRACE_VERIFY, (TSTR("Block %d has illegal values pages_in_used %d soft_del_pages %d"TENDSTR),
-               n, bi->pages_in_use, bi->soft_del_pages));
+       actually_used = bi->pages_in_use - bi->soft_del_pages;
 
+       if (bi->pages_in_use < 0
+           || bi->pages_in_use > dev->param.chunks_per_block
+           || bi->soft_del_pages < 0
+           || bi->soft_del_pages > dev->param.chunks_per_block
+           || actually_used < 0 || actually_used > dev->param.chunks_per_block)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Block %d has illegal values pages_in_used %d soft_del_pages %d",
+                       n, bi->pages_in_use, bi->soft_del_pages);
 
        /* Check chunk bitmap legal */
-       inUse = yaffs_count_chunk_bits(dev, n);
-       if (inUse != bi->pages_in_use)
-               T(YAFFS_TRACE_VERIFY, (TSTR("Block %d has inconsistent values pages_in_use %d counted chunk bits %d"TENDSTR),
-                       n, bi->pages_in_use, inUse));
+       in_use = yaffs_count_chunk_bits(dev, n);
+       if (in_use != bi->pages_in_use)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Block %d has inconsistent values pages_in_use %d counted chunk bits %d",
+                       n, bi->pages_in_use, in_use);
 
 }
 
-
-
-void yaffs_verify_collected_blk(yaffs_dev_t *dev, yaffs_block_info_t *bi, int n)
+void yaffs_verify_collected_blk(struct yaffs_dev *dev,
+                               struct yaffs_block_info *bi, int n)
 {
        yaffs_verify_blk(dev, bi, n);
 
        /* After collection the block should be in the erased state */
 
        if (bi->block_state != YAFFS_BLOCK_STATE_COLLECTING &&
-                       bi->block_state != YAFFS_BLOCK_STATE_EMPTY) {
-               T(YAFFS_TRACE_ERROR, (TSTR("Block %d is in state %d after gc, should be erased"TENDSTR),
-                       n, bi->block_state));
+           bi->block_state != YAFFS_BLOCK_STATE_EMPTY) {
+               yaffs_trace(YAFFS_TRACE_ERROR,
+                       "Block %d is in state %d after gc, should be erased",
+                       n, bi->block_state);
        }
 }
 
-void yaffs_verify_blocks(yaffs_dev_t *dev)
+void yaffs_verify_blocks(struct yaffs_dev *dev)
 {
        int i;
-       int nBlocksPerState[YAFFS_NUMBER_OF_BLOCK_STATES];
-       int nIllegalBlockStates = 0;
+       int state_count[YAFFS_NUMBER_OF_BLOCK_STATES];
+       int illegal_states = 0;
 
        if (yaffs_skip_verification(dev))
                return;
 
-       memset(nBlocksPerState, 0, sizeof(nBlocksPerState));
+       memset(state_count, 0, sizeof(state_count));
 
        for (i = dev->internal_start_block; i <= dev->internal_end_block; i++) {
-               yaffs_block_info_t *bi = yaffs_get_block_info(dev, i);
+               struct yaffs_block_info *bi = yaffs_get_block_info(dev, i);
                yaffs_verify_blk(dev, bi, i);
 
                if (bi->block_state < YAFFS_NUMBER_OF_BLOCK_STATES)
-                       nBlocksPerState[bi->block_state]++;
+                       state_count[bi->block_state]++;
                else
-                       nIllegalBlockStates++;
+                       illegal_states++;
        }
 
-       T(YAFFS_TRACE_VERIFY, (TSTR(""TENDSTR)));
-       T(YAFFS_TRACE_VERIFY, (TSTR("Block summary"TENDSTR)));
+       yaffs_trace(YAFFS_TRACE_VERIFY, "Block summary");
 
-       T(YAFFS_TRACE_VERIFY, (TSTR("%d blocks have illegal states"TENDSTR), nIllegalBlockStates));
-       if (nBlocksPerState[YAFFS_BLOCK_STATE_ALLOCATING] > 1)
-               T(YAFFS_TRACE_VERIFY, (TSTR("Too many allocating blocks"TENDSTR)));
+       yaffs_trace(YAFFS_TRACE_VERIFY,
+               "%d blocks have illegal states",
+               illegal_states);
+       if (state_count[YAFFS_BLOCK_STATE_ALLOCATING] > 1)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Too many allocating blocks");
 
        for (i = 0; i < YAFFS_NUMBER_OF_BLOCK_STATES; i++)
-               T(YAFFS_TRACE_VERIFY,
-                 (TSTR("%s %d blocks"TENDSTR),
-                 block_stateName[i], nBlocksPerState[i]));
-
-       if (dev->blocks_in_checkpt != nBlocksPerState[YAFFS_BLOCK_STATE_CHECKPOINT])
-               T(YAFFS_TRACE_VERIFY,
-                (TSTR("Checkpoint block count wrong dev %d count %d"TENDSTR),
-                dev->blocks_in_checkpt, nBlocksPerState[YAFFS_BLOCK_STATE_CHECKPOINT]));
-
-       if (dev->n_erased_blocks != nBlocksPerState[YAFFS_BLOCK_STATE_EMPTY])
-               T(YAFFS_TRACE_VERIFY,
-                (TSTR("Erased block count wrong dev %d count %d"TENDSTR),
-                dev->n_erased_blocks, nBlocksPerState[YAFFS_BLOCK_STATE_EMPTY]));
-
-       if (nBlocksPerState[YAFFS_BLOCK_STATE_COLLECTING] > 1)
-               T(YAFFS_TRACE_VERIFY,
-                (TSTR("Too many collecting blocks %d (max is 1)"TENDSTR),
-                nBlocksPerState[YAFFS_BLOCK_STATE_COLLECTING]));
-
-       T(YAFFS_TRACE_VERIFY, (TSTR(""TENDSTR)));
-
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "%s %d blocks",
+                       block_state_name[i], state_count[i]);
+
+       if (dev->blocks_in_checkpt != state_count[YAFFS_BLOCK_STATE_CHECKPOINT])
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Checkpoint block count wrong dev %d count %d",
+                       dev->blocks_in_checkpt,
+                       state_count[YAFFS_BLOCK_STATE_CHECKPOINT]);
+
+       if (dev->n_erased_blocks != state_count[YAFFS_BLOCK_STATE_EMPTY])
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Erased block count wrong dev %d count %d",
+                       dev->n_erased_blocks,
+                       state_count[YAFFS_BLOCK_STATE_EMPTY]);
+
+       if (state_count[YAFFS_BLOCK_STATE_COLLECTING] > 1)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Too many collecting blocks %d (max is 1)",
+                       state_count[YAFFS_BLOCK_STATE_COLLECTING]);
 }
 
 /*
  * Verify the object header. oh must be valid, but obj and tags may be NULL in which
  * case those tests will not be performed.
  */
-void yaffs_verify_oh(yaffs_obj_t *obj, yaffs_obj_header *oh, yaffs_ext_tags *tags, int parentCheck)
+void yaffs_verify_oh(struct yaffs_obj *obj, struct yaffs_obj_hdr *oh,
+                    struct yaffs_ext_tags *tags, int parent_check)
 {
        if (obj && yaffs_skip_verification(obj->my_dev))
                return;
 
        if (!(tags && obj && oh)) {
-               T(YAFFS_TRACE_VERIFY,
-                               (TSTR("Verifying object header tags %p obj %p oh %p"TENDSTR),
-                               tags, obj, oh));
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Verifying object header tags %p obj %p oh %p",
+                       tags, obj, oh);
                return;
        }
 
        if (oh->type <= YAFFS_OBJECT_TYPE_UNKNOWN ||
-                       oh->type > YAFFS_OBJECT_TYPE_MAX)
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header type is illegal value 0x%x"TENDSTR),
-                       tags->obj_id, oh->type));
+           oh->type > YAFFS_OBJECT_TYPE_MAX)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header type is illegal value 0x%x",
+                       tags->obj_id, oh->type);
 
        if (tags->obj_id != obj->obj_id)
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header mismatch obj_id %d"TENDSTR),
-                       tags->obj_id, obj->obj_id));
-
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header mismatch obj_id %d",
+                       tags->obj_id, obj->obj_id);
 
        /*
-        * Check that the object's parent ids match if parentCheck requested.
+        * Check that the object's parent ids match if parent_check requested.
         *
         * Tests do not apply to the root object.
         */
 
-       if (parentCheck && tags->obj_id > 1 && !obj->parent)
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header mismatch parent_id %d obj->parent is NULL"TENDSTR),
-                       tags->obj_id, oh->parent_obj_id));
-
-       if (parentCheck && obj->parent &&
-                       oh->parent_obj_id != obj->parent->obj_id &&
-                       (oh->parent_obj_id != YAFFS_OBJECTID_UNLINKED ||
-                       obj->parent->obj_id != YAFFS_OBJECTID_DELETED))
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header mismatch parent_id %d parent_obj_id %d"TENDSTR),
-                       tags->obj_id, oh->parent_obj_id, obj->parent->obj_id));
-
-       if (tags->obj_id > 1 && oh->name[0] == 0) /* Null name */
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header name is NULL"TENDSTR),
-                       obj->obj_id));
-
-       if (tags->obj_id > 1 && ((__u8)(oh->name[0])) == 0xff) /* Trashed name */
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d header name is 0xFF"TENDSTR),
-                       obj->obj_id));
+       if (parent_check && tags->obj_id > 1 && !obj->parent)
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header mismatch parent_id %d obj->parent is NULL",
+                       tags->obj_id, oh->parent_obj_id);
+
+       if (parent_check && obj->parent &&
+           oh->parent_obj_id != obj->parent->obj_id &&
+           (oh->parent_obj_id != YAFFS_OBJECTID_UNLINKED ||
+            obj->parent->obj_id != YAFFS_OBJECTID_DELETED))
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header mismatch parent_id %d parent_obj_id %d",
+                       tags->obj_id, oh->parent_obj_id,
+                       obj->parent->obj_id);
+
+       if (tags->obj_id > 1 && oh->name[0] == 0)       /* Null name */
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header name is NULL",
+                       obj->obj_id);
+
+       if (tags->obj_id > 1 && ((u8) (oh->name[0])) == 0xff)   /* Trashed name */
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d header name is 0xFF",
+                       obj->obj_id);
 }
 
-
-#if 0
-/* Not being used, but don't want to throw away yet */
-int yaffs_verify_tnode_worker(yaffs_obj_t *obj, yaffs_tnode_t *tn,
-                                       __u32 level, int chunk_offset)
+void yaffs_verify_file(struct yaffs_obj *obj)
 {
-       int i;
-       yaffs_dev_t *dev = obj->my_dev;
-       int ok = 1;
-
-       if (tn) {
-               if (level > 0) {
-
-                       for (i = 0; i < YAFFS_NTNODES_INTERNAL && ok; i++) {
-                               if (tn->internal[i]) {
-                                       ok = yaffs_verify_tnode_worker(obj,
-                                                       tn->internal[i],
-                                                       level - 1,
-                                                       (chunk_offset<<YAFFS_TNODES_INTERNAL_BITS) + i);
-                               }
-                       }
-               } else if (level == 0) {
-                       yaffs_ext_tags tags;
-                       __u32 obj_id = obj->obj_id;
-
-                       chunk_offset <<=  YAFFS_TNODES_LEVEL0_BITS;
-
-                       for (i = 0; i < YAFFS_NTNODES_LEVEL0; i++) {
-                               __u32 theChunk = yaffs_get_group_base(dev, tn, i);
-
-                               if (theChunk > 0) {
-                                       /* T(~0,(TSTR("verifying (%d:%d) %d"TENDSTR),tags.obj_id,tags.chunk_id,theChunk)); */
-                                       yaffs_rd_chunk_tags_nand(dev, theChunk, NULL, &tags);
-                                       if (tags.obj_id != obj_id || tags.chunk_id != chunk_offset) {
-                                               T(~0, (TSTR("Object %d chunk_id %d NAND mismatch chunk %d tags (%d:%d)"TENDSTR),
-                                                       obj_id, chunk_offset, theChunk,
-                                                       tags.obj_id, tags.chunk_id));
-                                       }
-                               }
-                               chunk_offset++;
-                       }
-               }
-       }
-
-       return ok;
-
-}
-
-#endif
-
-void yaffs_verify_file(yaffs_obj_t *obj)
-{
-       int requiredTallness;
-       int actualTallness;
-       __u32 lastChunk;
-       __u32 x;
-       __u32 i;
-       yaffs_dev_t *dev;
-       yaffs_ext_tags tags;
-       yaffs_tnode_t *tn;
-       __u32 obj_id;
+       int required_depth;
+       int actual_depth;
+       u32 last_chunk;
+       u32 x;
+       u32 i;
+       struct yaffs_dev *dev;
+       struct yaffs_ext_tags tags;
+       struct yaffs_tnode *tn;
+       u32 obj_id;
 
        if (!obj)
                return;
@@ -287,15 +243,16 @@ void yaffs_verify_file(yaffs_obj_t *obj)
        obj_id = obj->obj_id;
 
        /* Check file size is consistent with tnode depth */
-       lastChunk =  obj->variant.file_variant.file_size / dev->data_bytes_per_chunk + 1;
-       x = lastChunk >> YAFFS_TNODES_LEVEL0_BITS;
-       requiredTallness = 0;
+       last_chunk =
+           obj->variant.file_variant.file_size / dev->data_bytes_per_chunk + 1;
+       x = last_chunk >> YAFFS_TNODES_LEVEL0_BITS;
+       required_depth = 0;
        while (x > 0) {
                x >>= YAFFS_TNODES_INTERNAL_BITS;
-               requiredTallness++;
+               required_depth++;
        }
 
-       actualTallness = obj->variant.file_variant.top_level;
+       actual_depth = obj->variant.file_variant.top_level;
 
        /* Check that the chunks in the tnode tree are all correct.
         * We do this by scanning through the tnode tree and
@@ -305,26 +262,25 @@ void yaffs_verify_file(yaffs_obj_t *obj)
        if (yaffs_skip_nand_verification(dev))
                return;
 
-       for (i = 1; i <= lastChunk; i++) {
+       for (i = 1; i <= last_chunk; i++) {
                tn = yaffs_find_tnode_0(dev, &obj->variant.file_variant, i);
 
                if (tn) {
-                       __u32 theChunk = yaffs_get_group_base(dev, tn, i);
-                       if (theChunk > 0) {
-                               /* T(~0,(TSTR("verifying (%d:%d) %d"TENDSTR),obj_id,i,theChunk)); */
-                               yaffs_rd_chunk_tags_nand(dev, theChunk, NULL, &tags);
-                               if (tags.obj_id != obj_id || tags.chunk_id != i) {
-                                       T(~0, (TSTR("Object %d chunk_id %d NAND mismatch chunk %d tags (%d:%d)"TENDSTR),
-                                               obj_id, i, theChunk,
-                                               tags.obj_id, tags.chunk_id));
-                               }
+                       u32 the_chunk = yaffs_get_group_base(dev, tn, i);
+                       if (the_chunk > 0) {
+                               yaffs_rd_chunk_tags_nand(dev, the_chunk, NULL,
+                                                        &tags);
+                               if (tags.obj_id != obj_id || tags.chunk_id != i)
+                               yaffs_trace(YAFFS_TRACE_VERIFY,
+                                       "Object %d chunk_id %d NAND mismatch chunk %d tags (%d:%d)",
+                                        obj_id, i, the_chunk,
+                                        tags.obj_id, tags.chunk_id);
                        }
                }
        }
 }
 
-
-void yaffs_verify_link(yaffs_obj_t *obj)
+void yaffs_verify_link(struct yaffs_obj *obj)
 {
        if (obj && yaffs_skip_verification(obj->my_dev))
                return;
@@ -332,7 +288,7 @@ void yaffs_verify_link(yaffs_obj_t *obj)
        /* Verify sane equivalent object */
 }
 
-void yaffs_verify_symlink(yaffs_obj_t *obj)
+void yaffs_verify_symlink(struct yaffs_obj *obj)
 {
        if (obj && yaffs_skip_verification(obj->my_dev))
                return;
@@ -340,23 +296,23 @@ void yaffs_verify_symlink(yaffs_obj_t *obj)
        /* Verify symlink string */
 }
 
-void yaffs_verify_special(yaffs_obj_t *obj)
+void yaffs_verify_special(struct yaffs_obj *obj)
 {
        if (obj && yaffs_skip_verification(obj->my_dev))
                return;
 }
 
-void yaffs_verify_obj(yaffs_obj_t *obj)
+void yaffs_verify_obj(struct yaffs_obj *obj)
 {
-       yaffs_dev_t *dev;
+       struct yaffs_dev *dev;
 
-       __u32 chunkMin;
-       __u32 chunkMax;
+       u32 chunk_min;
+       u32 chunk_max;
 
-       __u32 chunk_idOk;
-       __u32 chunkInRange;
-       __u32 chunkShouldNotBeDeleted;
-       __u32 chunkValid;
+       u32 chunk_id_ok;
+       u32 chunk_in_range;
+       u32 chunk_wrongly_deleted;
+       u32 chunk_valid;
 
        if (!obj)
                return;
@@ -371,35 +327,34 @@ void yaffs_verify_obj(yaffs_obj_t *obj)
 
        /* Check sane object header chunk */
 
-       chunkMin = dev->internal_start_block * dev->param.chunks_per_block;
-       chunkMax = (dev->internal_end_block+1) * dev->param.chunks_per_block - 1;
-
-       chunkInRange = (((unsigned)(obj->hdr_chunk)) >= chunkMin && ((unsigned)(obj->hdr_chunk)) <= chunkMax);
-       chunk_idOk = chunkInRange || (obj->hdr_chunk == 0);
-       chunkValid = chunkInRange &&
-                       yaffs_check_chunk_bit(dev,
-                                       obj->hdr_chunk / dev->param.chunks_per_block,
-                                       obj->hdr_chunk % dev->param.chunks_per_block);
-       chunkShouldNotBeDeleted = chunkInRange && !chunkValid;
-
-       if (!obj->fake &&
-                       (!chunk_idOk || chunkShouldNotBeDeleted)) {
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d has chunk_id %d %s %s"TENDSTR),
+       chunk_min = dev->internal_start_block * dev->param.chunks_per_block;
+       chunk_max =
+           (dev->internal_end_block + 1) * dev->param.chunks_per_block - 1;
+
+       chunk_in_range = (((unsigned)(obj->hdr_chunk)) >= chunk_min &&
+                         ((unsigned)(obj->hdr_chunk)) <= chunk_max);
+       chunk_id_ok = chunk_in_range || (obj->hdr_chunk == 0);
+       chunk_valid = chunk_in_range &&
+           yaffs_check_chunk_bit(dev,
+                                 obj->hdr_chunk / dev->param.chunks_per_block,
+                                 obj->hdr_chunk % dev->param.chunks_per_block);
+       chunk_wrongly_deleted = chunk_in_range && !chunk_valid;
+
+       if (!obj->fake && (!chunk_id_ok || chunk_wrongly_deleted))
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d has chunk_id %d %s %s",
                        obj->obj_id, obj->hdr_chunk,
-                       chunk_idOk ? "" : ",out of range",
-                       chunkShouldNotBeDeleted ? ",marked as deleted" : ""));
-       }
+                       chunk_id_ok ? "" : ",out of range",
+                       chunk_wrongly_deleted ? ",marked as deleted" : "");
 
-       if (chunkValid && !yaffs_skip_nand_verification(dev)) {
-               yaffs_ext_tags tags;
-               yaffs_obj_header *oh;
-               __u8 *buffer = yaffs_get_temp_buffer(dev, __LINE__);
+       if (chunk_valid && !yaffs_skip_nand_verification(dev)) {
+               struct yaffs_ext_tags tags;
+               struct yaffs_obj_hdr *oh;
+               u8 *buffer = yaffs_get_temp_buffer(dev, __LINE__);
 
-               oh = (yaffs_obj_header *)buffer;
+               oh = (struct yaffs_obj_hdr *)buffer;
 
-               yaffs_rd_chunk_tags_nand(dev, obj->hdr_chunk, buffer,
-                               &tags);
+               yaffs_rd_chunk_tags_nand(dev, obj->hdr_chunk, buffer, &tags);
 
                yaffs_verify_oh(obj, oh, &tags, 1);
 
@@ -407,18 +362,18 @@ void yaffs_verify_obj(yaffs_obj_t *obj)
        }
 
        /* Verify it has a parent */
-       if (obj && !obj->fake &&
-                       (!obj->parent || obj->parent->my_dev != dev)) {
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d has parent pointer %p which does not look like an object"TENDSTR),
-                       obj->obj_id, obj->parent));
+       if (obj && !obj->fake && (!obj->parent || obj->parent->my_dev != dev)) {
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d has parent pointer %p which does not look like an object",
+                       obj->obj_id, obj->parent);
        }
 
        /* Verify parent is a directory */
-       if (obj->parent && obj->parent->variant_type != YAFFS_OBJECT_TYPE_DIRECTORY) {
-               T(YAFFS_TRACE_VERIFY,
-                       (TSTR("Obj %d's parent is not a directory (type %d)"TENDSTR),
-                       obj->obj_id, obj->parent->variant_type));
+       if (obj->parent
+           && obj->parent->variant_type != YAFFS_OBJECT_TYPE_DIRECTORY) {
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d's parent is not a directory (type %d)",
+                       obj->obj_id, obj->parent->variant_type);
        }
 
        switch (obj->variant_type) {
@@ -439,44 +394,44 @@ void yaffs_verify_obj(yaffs_obj_t *obj)
                break;
        case YAFFS_OBJECT_TYPE_UNKNOWN:
        default:
-               T(YAFFS_TRACE_VERIFY,
-               (TSTR("Obj %d has illegaltype %d"TENDSTR),
-               obj->obj_id, obj->variant_type));
+               yaffs_trace(YAFFS_TRACE_VERIFY,
+                       "Obj %d has illegaltype %d",
+                  obj->obj_id, obj->variant_type);
                break;
        }
 }
 
-void yaffs_verify_objects(yaffs_dev_t *dev)
+void yaffs_verify_objects(struct yaffs_dev *dev)
 {
-       yaffs_obj_t *obj;
+       struct yaffs_obj *obj;
        int i;
-       struct ylist_head *lh;
+       struct list_head *lh;
 
        if (yaffs_skip_verification(dev))
                return;
 
        /* Iterate through the objects in each hash entry */
 
-       for (i = 0; i <  YAFFS_NOBJECT_BUCKETS; i++) {
-               ylist_for_each(lh, &dev->obj_bucket[i].list) {
+       for (i = 0; i < YAFFS_NOBJECT_BUCKETS; i++) {
+               list_for_each(lh, &dev->obj_bucket[i].list) {
                        if (lh) {
-                               obj = ylist_entry(lh, yaffs_obj_t, hash_link);
+                               obj =
+                                   list_entry(lh, struct yaffs_obj, hash_link);
                                yaffs_verify_obj(obj);
                        }
                }
        }
 }
 
-
-void yaffs_verify_obj_in_dir(yaffs_obj_t *obj)
+void yaffs_verify_obj_in_dir(struct yaffs_obj *obj)
 {
-       struct ylist_head *lh;
-       yaffs_obj_t *listObj;
+       struct list_head *lh;
+       struct yaffs_obj *list_obj;
 
        int count = 0;
 
        if (!obj) {
-               T(YAFFS_TRACE_ALWAYS, (TSTR("No object to verify" TENDSTR)));
+               yaffs_trace(YAFFS_TRACE_ALWAYS, "No object to verify");
                YBUG();
                return;
        }
@@ -485,37 +440,39 @@ void yaffs_verify_obj_in_dir(yaffs_obj_t *obj)
                return;
 
        if (!obj->parent) {
-               T(YAFFS_TRACE_ALWAYS, (TSTR("Object does not have parent" TENDSTR)));
+               yaffs_trace(YAFFS_TRACE_ALWAYS, "Object does not have parent" );
                YBUG();
                return;
        }
 
        if (obj->parent->variant_type != YAFFS_OBJECT_TYPE_DIRECTORY) {
-               T(YAFFS_TRACE_ALWAYS, (TSTR("Parent is not directory" TENDSTR)));
+               yaffs_trace(YAFFS_TRACE_ALWAYS, "Parent is not directory");
                YBUG();
        }
 
        /* Iterate through the objects in each hash entry */
 
-       ylist_for_each(lh, &obj->parent->variant.dir_variant.children) {
+       list_for_each(lh, &obj->parent->variant.dir_variant.children) {
                if (lh) {
-                       listObj = ylist_entry(lh, yaffs_obj_t, siblings);
-                       yaffs_verify_obj(listObj);
-                       if (obj == listObj)
+                       list_obj = list_entry(lh, struct yaffs_obj, siblings);
+                       yaffs_verify_obj(list_obj);
+                       if (obj == list_obj)
                                count++;
                }
-        }
+       }
 
        if (count != 1) {
-               T(YAFFS_TRACE_ALWAYS, (TSTR("Object in directory %d times" TENDSTR), count));
+               yaffs_trace(YAFFS_TRACE_ALWAYS,
+                       "Object in directory %d times",
+                       count);
                YBUG();
        }
 }
 
-void yaffs_verify_dir(yaffs_obj_t *directory)
+void yaffs_verify_dir(struct yaffs_obj *directory)
 {
-       struct ylist_head *lh;
-       yaffs_obj_t *listObj;
+       struct list_head *lh;
+       struct yaffs_obj *list_obj;
 
        if (!directory) {
                YBUG();
@@ -526,27 +483,31 @@ void yaffs_verify_dir(yaffs_obj_t *directory)
                return;
 
        if (directory->variant_type != YAFFS_OBJECT_TYPE_DIRECTORY) {
-               T(YAFFS_TRACE_ALWAYS, (TSTR("Directory has wrong type: %d" TENDSTR), directory->variant_type));
+               yaffs_trace(YAFFS_TRACE_ALWAYS,
+                       "Directory has wrong type: %d",
+                       directory->variant_type);
                YBUG();
        }
 
        /* Iterate through the objects in each hash entry */
 
-       ylist_for_each(lh, &directory->variant.dir_variant.children) {
+       list_for_each(lh, &directory->variant.dir_variant.children) {
                if (lh) {
-                       listObj = ylist_entry(lh, yaffs_obj_t, siblings);
-                       if (listObj->parent != directory) {
-                               T(YAFFS_TRACE_ALWAYS, (TSTR("Object in directory list has wrong parent %p" TENDSTR), listObj->parent));
+                       list_obj = list_entry(lh, struct yaffs_obj, siblings);
+                       if (list_obj->parent != directory) {
+                               yaffs_trace(YAFFS_TRACE_ALWAYS,
+                                       "Object in directory list has wrong parent %p",
+                                       list_obj->parent);
                                YBUG();
                        }
-                       yaffs_verify_obj_in_dir(listObj);
+                       yaffs_verify_obj_in_dir(list_obj);
                }
        }
 }
 
 static int yaffs_free_verification_failures;
 
-void yaffs_verify_free_chunks(yaffs_dev_t *dev)
+void yaffs_verify_free_chunks(struct yaffs_dev *dev)
 {
        int counted;
        int difference;
@@ -559,68 +520,16 @@ void yaffs_verify_free_chunks(yaffs_dev_t *dev)
        difference = dev->n_free_chunks - counted;
 
        if (difference) {
-               T(YAFFS_TRACE_ALWAYS,
-                 (TSTR("Freechunks verification failure %d %d %d" TENDSTR),
-                  dev->n_free_chunks, counted, difference));
+               yaffs_trace(YAFFS_TRACE_ALWAYS,
+                       "Freechunks verification failure %d %d %d",
+                       dev->n_free_chunks, counted, difference);
                yaffs_free_verification_failures++;
        }
 }
 
-int yaffs_verify_file_sane(yaffs_obj_t *in)
+int yaffs_verify_file_sane(struct yaffs_obj *in)
 {
-#if 0
-       int chunk;
-       int n_chunks;
-       int fSize;
-       int failed = 0;
-       int obj_id;
-       yaffs_tnode_t *tn;
-       yaffs_tags_t localTags;
-       yaffs_tags_t *tags = &localTags;
-       int theChunk;
-       int is_deleted;
-
-       if (in->variant_type != YAFFS_OBJECT_TYPE_FILE)
-               return YAFFS_FAIL;
-
-       obj_id = in->obj_id;
-       fSize = in->variant.file_variant.file_size;
-       n_chunks =
-           (fSize + in->my_dev->data_bytes_per_chunk - 1) / in->my_dev->data_bytes_per_chunk;
-
-       for (chunk = 1; chunk <= n_chunks; chunk++) {
-               tn = yaffs_find_tnode_0(in->my_dev, &in->variant.file_variant,
-                                          chunk);
-
-               if (tn) {
-
-                       theChunk = yaffs_get_group_base(dev, tn, chunk);
-
-                       if (yaffs_check_chunk_bits
-                           (dev, theChunk / dev->param.chunks_per_block,
-                            theChunk % dev->param.chunks_per_block)) {
-
-                               yaffs_rd_chunk_tags_nand(in->my_dev, theChunk,
-                                                           tags,
-                                                           &is_deleted);
-                               if (yaffs_tags_match
-                                   (tags, in->obj_id, chunk, is_deleted)) {
-                                       /* found it; */
-
-                               }
-                       } else {
-
-                               failed = 1;
-                       }
-
-               } else {
-                       /* T(("No level 0 found for %d\n", chunk)); */
-               }
-       }
-
-       return failed ? YAFFS_FAIL : YAFFS_OK;
-#else
-       in=in;
+       in = in;
        return YAFFS_OK;
-#endif
 }
+