Searched refs:max_ptrspace (Results 1 – 3 of 3) sorted by relevance
111 if(ptrspace_top + extra_ptrspace > max_ptrspace) { in print_loc_symbols()112 max_ptrspace = ptrspace_top + extra_ptrspace; in print_loc_symbols()
855 max_ptrspace, in resource_summary()
1238 max_ptrspace, /* number of pointers used */ variable