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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h62 #define MTF_NO_OVERWRITE 0x00000004 // With MTF_WRITEABLE: Don't load over the top macro
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp509 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
530 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
636 if (entry->mtFlags & MTF_NO_OVERWRITE)
638 if (j < permanentEntries && (entry->mtFlags & MTF_NO_OVERWRITE) == 0)
657 (entry->mtFlags & (MTF_WRITEABLE|MTF_NO_OVERWRITE)) == MTF_WRITEABLE)
1167 (descr->segmentFlags & SSF_NOOVERWRITE ? MTF_NO_OVERWRITE : 0) |
1546 if (entry->mtFlags & MTF_NO_OVERWRITE)
1548 if ((entry->mtFlags & MTF_NO_OVERWRITE) == 0)
H A Dexporter.cpp599 if (space->noOverwrite) entry->mtFlags |= MTF_NO_OVERWRITE;
H A Dmemmgr.cpp256 space->noOverwrite = flags & MTF_NO_OVERWRITE ? true : false;

Completed in 39 milliseconds