Searched refs:shared_region_pager_count_max (Results 1 – 1 of 1) sorted by relevance
347 int shared_region_pager_count_max = 0; variable1211 if (shared_region_pager_count > shared_region_pager_count_max) { in shared_region_pager_create()1212 shared_region_pager_count_max = shared_region_pager_count; in shared_region_pager_create()