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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h61 #define MTF_EXECUTABLE 0x00000002 // The area contains executable code macro
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpecoffexport.cpp235 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
239 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Delfexport.cpp559 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
564 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Dmachoexport.cpp332 ASSERT(!(memTable[i].mtFlags & MTF_EXECUTABLE)); // Executable areas can't be writable.
337 else if (memTable[i].mtFlags & MTF_EXECUTABLE)
H A Dsavestate.cpp513 entry->mtFlags |= MTF_EXECUTABLE;
534 entry->mtFlags |= MTF_EXECUTABLE;
643 if (entry->mtFlags & MTF_EXECUTABLE)
1169 (descr->segmentFlags & SSF_CODE ? MTF_EXECUTABLE : 0);
1553 if (entry->mtFlags & MTF_EXECUTABLE)
H A Dexporter.cpp582 if (space->isCode) entry->mtFlags |= MTF_EXECUTABLE;
601 if (space->isCode) entry->mtFlags |= MTF_EXECUTABLE;
H A Dmemmgr.cpp258 space->isCode = flags & MTF_EXECUTABLE ? true : false;

Completed in 97 milliseconds