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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmemmgr.cpp192 size_t rSpace = reservedSpace*sizeof(PolyWord); local
195 reservation = osHeapAlloc.AllocateDataArea(rSpace);
212 if (reservation != 0) osHeapAlloc.FreeDataArea(reservation, rSpace);

Completed in 31 milliseconds