remap_num          48 drivers/gpu/drm/vmwgfx/vmwgfx_gmr.c 	uint32_t remap_num = num_pages / VMW_PPN_PER_REMAP + ((num_pages % VMW_PPN_PER_REMAP) > 0);
remap_num          49 drivers/gpu/drm/vmwgfx/vmwgfx_gmr.c 	uint32_t remap_size = VMW_PPN_SIZE * num_pages + (sizeof(remap_cmd) + sizeof(*cmd)) * remap_num;