dst_kernel        134 drivers/gpu/drm/vc4/vc4_hvs.c 	u32 __iomem *dst_kernel;
dst_kernel        143 drivers/gpu/drm/vc4/vc4_hvs.c 	dst_kernel = hvs->dlist + space->start;
dst_kernel        147 drivers/gpu/drm/vc4/vc4_hvs.c 			writel(kernel[i], &dst_kernel[i]);
dst_kernel        150 drivers/gpu/drm/vc4/vc4_hvs.c 			       &dst_kernel[i]);