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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h60 #define MTF_WRITEABLE 0x00000001 // The area is writeable by ML code macro
62 #define MTF_NO_OVERWRITE 0x00000004 // With MTF_WRITEABLE: Don't load over the top
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp508 entry->mtFlags |= MTF_WRITEABLE;
529 entry->mtFlags |= MTF_WRITEABLE;
633 if (entry->mtFlags & MTF_WRITEABLE)
657 (entry->mtFlags & (MTF_WRITEABLE|MTF_NO_OVERWRITE)) == MTF_WRITEABLE)
1166 (descr->segmentFlags & SSF_WRITABLE ? MTF_WRITEABLE : 0) |
1543 if (entry->mtFlags & MTF_WRITEABLE)
H A Dpecoffexport.cpp232 if (memTable[i].mtFlags & MTF_WRITEABLE)
H A Dexporter.cpp581 if (space->isMutable) entry->mtFlags |= MTF_WRITEABLE;
598 entry->mtFlags = MTF_WRITEABLE;
H A Delfexport.cpp556 if (memTable[i].mtFlags & MTF_WRITEABLE)
H A Dmachoexport.cpp329 if (memTable[i].mtFlags & MTF_WRITEABLE)
H A Dpexport.cpp341 MemSpace* space = gMem.NewPermanentSpace(base, used, isMutable ? MTF_WRITEABLE : 0, spaceIndex++);
H A Dmemmgr.cpp255 space->isMutable = flags & MTF_WRITEABLE ? true : false;

Completed in 98 milliseconds