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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp234 static void copyAllData(GCTaskId *id, void * /*arg1*/, void * /*arg2*/) function
366 copyAllData(globalTask, 0, 0);
374 gpTaskFarm->AddWorkOrRunNow(&copyAllData, 0, 0);

Completed in 73 milliseconds