Searched refs:shared_region_pager_count_max (Results 1 – 1 of 1) sorted by relevance
325 int shared_region_pager_count_max = 0; variable1179 if (shared_region_pager_count > shared_region_pager_count_max) { in shared_region_pager_create()1180 shared_region_pager_count_max = shared_region_pager_count; in shared_region_pager_create()