Lines Matching refs:page_count
3472 unsigned int page_count;
3476 page_count = 1;
3481 printf("pages %p page_count %d npages %d\n", pages, page_count, npages);
3485 ++page_count;
3487 if (page_count != npages) {
3489 pages, page_count, npages);
4427 int page_count,
4438 for (i = 0; i < page_count; i++) {
5123 uint32_t pages = page_list->page_count;