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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h66 unsigned structLength; // The length of this structure member in struct:_exportDescription
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmpoly.cpp503 if (exports->structLength != sizeof(exportDescription) ||
H A Dpecoffexport.cpp346 exports.structLength = sizeof(exportDescription);
H A Delfexport.cpp714 exports.structLength = sizeof(exportDescription);
H A Dmachoexport.cpp476 exports.structLength = sizeof(exportDescription);

Completed in 37 milliseconds