Searched refs:shared_region_pager_count_max (Results 1 – 1 of 1) sorted by relevance
344 int shared_region_pager_count_max = 0; variable1208 if (shared_region_pager_count > shared_region_pager_count_max) { in shared_region_pager_create()1209 shared_region_pager_count_max = shared_region_pager_count; in shared_region_pager_create()