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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dexporter.cpp293 if (space->spaceType == ST_PERMANENT)
315 else if (space->spaceType == ST_PERMANENT)
344 ASSERT(space->spaceType == ST_LOCAL || space->spaceType == ST_PERMANENT ||
441 if (space->spaceType == ST_PERMANENT && !space->isMutable && ((PermanentMemSpace*)space)->hierarchy == 0)
H A Dmemmgr.cpp70 spaceType = ST_PERMANENT;
304 space->spaceType = ST_PERMANENT;
349 space->spaceType = ST_PERMANENT;
597 space->spaceType = ST_PERMANENT;
1303 else if (space->spaceType == ST_PERMANENT)
H A Dmemmgr.h39 ST_PERMANENT, // Permanent areas are part of the object code enumerator in enum:__anon2
H A Dx86_dep.cpp671 if (space != 0 && (space->spaceType == ST_CODE || space->spaceType == ST_PERMANENT))
683 if (space != 0 && (space->spaceType == ST_CODE || space->spaceType == ST_PERMANENT))
698 if (space != 0 && (space->spaceType == ST_CODE || space->spaceType == ST_PERMANENT))
H A Dsharedata.cpp406 else if (bestSpace->spaceType == ST_PERMANENT)
409 if (space->spaceType == ST_PERMANENT &&
750 if (space->spaceType == ST_PERMANENT &&
H A Dinterpret.cpp2733 if (space != 0 && (space->spaceType == ST_CODE || space->spaceType == ST_PERMANENT))

Completed in 54 milliseconds