Searched refs:InitSpace (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmemmgr.h160 bool InitSpace(PolyWord *heapPtr, uintptr_t size, bool mut);
H A Dmemmgr.cpp104 bool LocalMemSpace::InitSpace(PolyWord *heapSpace, uintptr_t size, bool mut) function in class:LocalMemSpace
210 bool success = heapSpace != 0 && space->InitSpace(heapSpace, size, mut) && AddLocalSpace(space);

Completed in 91 milliseconds