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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp205 Handle saved = mdTaskData->saveVec.mark(); local
235 Handle saved = mdTaskData->saveVec.mark(); local
H A Drun_time.cpp283 Handle saved = taskData->saveVec.mark(); local
H A Dprofiling.cpp323 Handle saved = taskData->saveVec.mark(); local
H A Dunix_specific.cpp669 Handle saved = taskData->saveVec.mark(); local
H A Dxwindows.cpp669 Handle saved = taskData->saveVec.mark(); local
695 Handle saved = taskData->saveVec.mark(); local
717 Handle saved = taskData->saveVec.mark(); local
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DLogging.sml125 fun saved ob = case peek_dict ob of function

Completed in 82 milliseconds