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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h63 #define MTF_BYTES 0x00000008 // Contains only byte data and no addresses macro
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp510 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
531 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
640 if (entry->mtFlags & MTF_BYTES)
1168 (descr->segmentFlags & SSF_BYTES ? MTF_BYTES : 0) |
1550 if (entry->mtFlags & MTF_BYTES)
H A Dexporter.cpp602 if (space->byteOnly) entry->mtFlags |= MTF_BYTES;
H A Dmemmgr.cpp257 space->byteOnly = flags & MTF_BYTES ? true : false;

Completed in 88 milliseconds