Searched refs:GCCopyPhase (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
| H A D | gc.h | 57 extern void GCCopyPhase(void); |
| H A D | gc_copy_phase.cpp | 346 void GCCopyPhase() function |
| H A D | gc.cpp | 237 GCCopyPhase(); |
Completed in 34 milliseconds