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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drun_time.cpp178 Handle pushed_name = SAVE(C_string_to_Poly(taskData, exName)); local
246 Handle pushed_name = SAVE(C_string_to_Poly(taskData, errmsg)); local
258 Handle pushed_name = errorMsg(taskData, err); // Generate the string. local

Completed in 28 milliseconds