Searched refs:DoCheckPointer (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dcheck_objects.h31 extern void DoCheckPointer (const PolyWord pt);
38 #define CheckPointer(pt) {if (debugOptions & DEBUG_CHECK_OBJECTS) DoCheckPointer(pt); }
H A Dcheck_objects.cpp135 void DoCheckPointer (const PolyWord pt) function

Completed in 78 milliseconds