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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dexporter.cpp552 static void FixForwarding(PolyWord *pt, size_t space) function
636 FixForwarding(space->bottom, space->lowerAllocPtr - space->bottom);
637 FixForwarding(space->upperAllocPtr, space->top - space->upperAllocPtr);
643 FixForwarding(space->bottom, space->top - space->bottom);
649 FixForwarding(space->bottom, space->top - space->bottom);

Completed in 95 milliseconds