Searched defs:memUsed (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DGlobal.h103 static inline int64 memUsed() { function
132 static inline int64 memUsed() { return (int64)memReadStat(0) * (int64)getpagesize(); } function

Completed in 27 milliseconds