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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h56 uintptr_t mtFlags; // Flags describing the area. member in struct:_memTableEntry
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp505 entry->mtFlags = 0;
508 entry->mtFlags |= MTF_WRITEABLE;
509 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
510 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
513 entry->mtFlags |= MTF_EXECUTABLE;
526 entry->mtFlags = 0;
529 entry->mtFlags |= MTF_WRITEABLE;
530 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
531 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
534 entry->mtFlags |
[all...]
H A Dexporter.cpp580 entry->mtFlags = 0;
581 if (space->isMutable) entry->mtFlags |= MTF_WRITEABLE;
582 if (space->isCode) entry->mtFlags |= MTF_EXECUTABLE;
595 entry->mtFlags = 0;
598 entry->mtFlags = MTF_WRITEABLE;
599 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
601 if (space->isCode) entry->mtFlags |= MTF_EXECUTABLE;
602 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
H A Dpecoffexport.cpp232 if (memTable[i].mtFlags & MTF_WRITEABLE)
235 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
239 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Delfexport.cpp556 if (memTable[i].mtFlags & MTF_WRITEABLE)
559 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
564 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Dmachoexport.cpp329 if (memTable[i].mtFlags & MTF_WRITEABLE)
332 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
337 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Dmpoly.cpp528 memTable[i].mtLength/sizeof(PolyWord), (unsigned)memTable[i].mtFlags,

Completed in 105 milliseconds