vmw_view_id_ok    341 drivers/gpu/drm/vmwgfx/vmwgfx_so.c 	if (!vmw_view_id_ok(user_key, view_type)) {
vmw_view_id_ok    410 drivers/gpu/drm/vmwgfx/vmwgfx_so.c 	if (!vmw_view_id_ok(user_key, view_type)) {