Searched refs:memTableSize (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h67 unsigned memTableSize; // The size of each entry in the memory table member in struct:_exportDescription
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmpoly.cpp504 exports->memTableSize != sizeof(memoryTableEntry) ||
H A Dpecoffexport.cpp347 exports.memTableSize = sizeof(memoryTableEntry);
H A Delfexport.cpp715 exports.memTableSize = sizeof(memoryTableEntry);
H A Dmachoexport.cpp477 exports.memTableSize = sizeof(memoryTableEntry);

Completed in 118 milliseconds