Re: [Xen-devel] [PATCH 3/8] drm/xen-front: fix 32-bit build warning