Searched refs:shared_region_pager_count_max (Results 1 – 1 of 1) sorted by relevance
345 int shared_region_pager_count_max = 0; variable1201 if (shared_region_pager_count > shared_region_pager_count_max) { in shared_region_pager_create()1202 shared_region_pager_count_max = shared_region_pager_count; in shared_region_pager_create()