seen_entries       54 drivers/gpu/drm/vmwgfx/vmwgfx_cotable.c 	int seen_entries;
seen_entries      513 drivers/gpu/drm/vmwgfx/vmwgfx_cotable.c 	needed_size = (vcotbl->seen_entries + 1) * co_info[vcotbl->type].size;
seen_entries      608 drivers/gpu/drm/vmwgfx/vmwgfx_cotable.c 	vcotbl->seen_entries = -1;
seen_entries      639 drivers/gpu/drm/vmwgfx/vmwgfx_cotable.c 	if (vcotbl->seen_entries < id) {
seen_entries      642 drivers/gpu/drm/vmwgfx/vmwgfx_cotable.c 		vcotbl->seen_entries = id;