| Index: runtime/vm/pages.cc | 
| =================================================================== | 
| --- runtime/vm/pages.cc	(revision 41609) | 
| +++ runtime/vm/pages.cc	(working copy) | 
| @@ -11,6 +11,7 @@ | 
| #include "vm/lockers.h" | 
| #include "vm/object.h" | 
| #include "vm/thread.h" | 
| +#include "vm/verified_memory.h" | 
| #include "vm/virtual_memory.h" | 
|  | 
| namespace dart { | 
| @@ -59,7 +60,7 @@ | 
|  | 
| HeapPage* HeapPage::Allocate(intptr_t size_in_words, PageType type) { | 
| VirtualMemory* memory = | 
| -      VirtualMemory::Reserve(size_in_words << kWordSizeLog2); | 
| +      VerifiedMemory::Reserve(size_in_words << kWordSizeLog2); | 
| return Initialize(memory, type); | 
| } | 
|  | 
|  |