Searched refs:gcable_pointers_index (Results 1 – 1 of 1) sorted by relevance
30 static int gcable_pointers_index = 0; variable40 add_pointer_to_array (pointer, gcable_pointers_index, gcable_pointers, in add_gcable_pointer()55 if (!info_windows || !gcable_pointers_index) in gc_pointers()66 for (k = 0; k < gcable_pointers_index; k++) in gc_pointers()78 for (i = 0; i < gcable_pointers_index; i++) in gc_pointers()93 gcable_pointers_index = new_index; in gc_pointers()