Searched refs:SaveVec (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp47 SaveVec::SaveVec() function in class:SaveVec
53 SaveVec::~SaveVec()
62 void SaveVec::reset(Handle old_value)
68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */
78 void SaveVec::gcScan(ScanAddress *process)
86 static SaveVec save;
88 SaveVec *gSaveVec = &save;
H A Dsave_vec.h43 friend class SaveVec;
58 class SaveVec class
61 SaveVec();
62 ~SaveVec();
H A Dprocesses.h142 SaveVec saveVec;

Completed in 36 milliseconds