mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
* [PATCH] drm/imagination: don't include pvr_rogue_fwif_check.h under sparse
@ 2026-01-12 17:29 Ben Dooks
  0 siblings, 0 replies; only message in thread
From: Ben Dooks @ 2026-01-12 17:29 UTC (permalink / raw)
  To: linux-kernel, dri-devel
  Cc: simona, airlied, tzimmermann, mripard, maarten.lankhorst,
	matt.coster, frank.binns, Ben Dooks

The checks in pvr_rogue_fwif_check.h trigger issues with sparse
as it may not decide to deal with structure definitions the same
way as the kernel.

There is nothing in pvr_rogue_fwif_check.h that needs to be checked
by sparse, so skip it to reduce the number of failed asserts from
sparse:

drivers/gpu/drm/imagination/pvr_rogue_fwif_check.h:487:1: error: static assertion failed: "struct rogue_fwif_hwrtdata is incorrect size"

Signed-off-by: Ben Dooks <ben.dooks@codethink.co.uk>
---
 drivers/gpu/drm/imagination/pvr_rogue_fwif.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/drivers/gpu/drm/imagination/pvr_rogue_fwif.h b/drivers/gpu/drm/imagination/pvr_rogue_fwif.h
index 172886be4c82..1e4a74705e2f 100644
--- a/drivers/gpu/drm/imagination/pvr_rogue_fwif.h
+++ b/drivers/gpu/drm/imagination/pvr_rogue_fwif.h
@@ -2183,6 +2183,8 @@ struct rogue_fwif_hwrtdata {
 #define PVR_SYNC_CHECKPOINT_SIGNALED 0x519   /* Checkpoint has signaled. */
 #define PVR_SYNC_CHECKPOINT_ERRORED 0xeff    /* Checkpoint has been errored. */
 
+#ifndef __CHECKER__
 #include "pvr_rogue_fwif_check.h"
+#endif
 
 #endif /* PVR_ROGUE_FWIF_H */
-- 
2.37.2.352.g3c44437643


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2026-01-12 17:29 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-01-12 17:29 [PATCH] drm/imagination: don't include pvr_rogue_fwif_check.h under sparse Ben Dooks

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

all inboxes | Powered by JetHome®