Searched refs:shadowArea (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dosmem.h76 void *AllocateCodeArea(size_t& bytes, void*& shadowArea);
H A Dosmemwin.cpp127 void* OSMem::AllocateCodeArea(size_t& space, void*& shadowArea) argument
148 shadowArea = dataArea;
231 void* OSMem::AllocateCodeArea(size_t& space, void*& shadowArea) argument
237 shadowArea = dataAddr;
H A Dosmemunix.cpp273 void* OSMem::AllocateCodeArea(size_t& space, void*& shadowArea) argument
299 shadowArea = baseAddr;
312 shadowArea = readWriteArea;
433 void *OSMem::AllocateCodeArea(size_t &space, void*& shadowArea) argument
447 shadowArea = result;
469 shadowArea = readWrite;

Completed in 34 milliseconds