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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dpolystring.cpp54 #define SAVE(x) mdTaskData->saveVec.push(x) macro
H A Dsighandler.cpp111 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dwindows_specific.cpp81 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dprocess_env.cpp120 #define SAVE(x) taskData->saveVec.push(x) macro
H A Drun_time.cpp67 #define SAVE(x) taskData->saveVec.push(x) macro
[all...]
H A Dpoly_specific.cpp74 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dwinbasicio.cpp135 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dbasicio.cpp155 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dsavestate.cpp229 #define SAVE(x) taskData->saveVec.push(x) macro
[all...]
H A Dunix_specific.cpp139 #define SAVE(x) taskData->saveVec.push(x) macro
[all...]
H A Dnetwork.cpp193 #define SAVE(x) taskData->saveVec.push(x) macro
[all...]
H A Dprocesses.cpp148 #define SAVE(x) taskData->saveVec.push(x) macro
H A Dxwindows.cpp284 #define SAVE(x) taskData->saveVec.push(x) macro
[all...]

Completed in 138 milliseconds