Searched refs:shared_region_pager_count (Results 1 – 3 of 3) sorted by relevance
333 int shared_region_pager_count = 0; /* number of pagers */ variable892 shared_region_pager_count--; in shared_region_pager_dequeue()945 count_unmapped = shared_region_pager_count - shared_region_pager_count_mapped; in shared_region_pager_deallocate_internal()1098 count_unmapped = (shared_region_pager_count - shared_region_pager_count_mapped); in shared_region_pager_last_unmap()1210 shared_region_pager_count++; in shared_region_pager_create()1211 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()1392 count_unmapped = (shared_region_pager_count - shared_region_pager_count_mapped); in shared_region_pager_trim()
3125 extern int shared_region_pager_count;3126 SYSCTL_INT(_vm, OID_AUTO, shared_region_pager_count,3127 CTLFLAG_RD | CTLFLAG_LOCKED, &shared_region_pager_count, 0, "");
4473 qcnt = kern.globals.shared_region_pager_count