num_pt_pages      510 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	unsigned long num_pt_pages = DIV_ROUND_UP(pt_size, PAGE_SIZE);
num_pt_pages      516 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	for (pt_page = 0; pt_page < num_pt_pages; ++pt_page) {
num_pt_pages      532 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	return num_pt_pages;
num_pt_pages      549 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	unsigned long num_pt_pages = 0;
num_pt_pages      567 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 		num_pt_pages = vmw_mob_build_pt(&data_iter, num_data_pages,
num_pt_pages      570 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 		num_data_pages = num_pt_pages;