walk_file        1054 tools/vm/page-types.c 			walk_file(name, st);
walk_file        1075 tools/vm/page-types.c 		walk_file(opt_file, &st);