Searched refs:gcable_pointers_index (Results 1 – 1 of 1) sorted by relevance
28 static int gcable_pointers_index = 0; variable38 add_pointer_to_array (pointer, gcable_pointers_index, gcable_pointers, in add_gcable_pointer()53 if (!info_windows || !gcable_pointers_index) in gc_pointers()64 for (k = 0; k < gcable_pointers_index; k++) in gc_pointers()76 for (i = 0; i < gcable_pointers_index; i++) in gc_pointers()91 gcable_pointers_index = new_index; in gc_pointers()