Rename fletch -> dartino

platforms/stm/disco_dartino/src/page_allocator.cc

 // Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-#include "platforms/stm/disco_fletch/src/page_allocator.h"
+#include "platforms/stm/disco_dartino/src/page_allocator.h"
 
 #include "src/shared/assert.h"
 
 uint32_t PageAllocator::AddArena(const char* name, uintptr_t start,
                                  size_t size, uint8_t* map, size_t map_size) {
   for (int i = 0; i < kMaxArenas; i++) {
     if (arenas_[i].IsFree()) {
       arenas_[i].Initialize(name, start, size, map, map_size);
       return 1 << i;
     }
@@ skipping 65 matching lines @@
   return NULL;
 }
 
 void PageAllocator::Arena::FreePages(void* start, size_t pages) {
   size_t index = (reinterpret_cast<uint8_t*>(start) - base_) >> PAGE_SIZE_SHIFT;
   for (int i = 0; i < pages; i++) {
     ASSERT(map_[index + i] != 0);
     map_[index + i] = 0;
   }
 }