Hi Jacopo, I discovered that the rdacm20/21 drivers were disabled in the smatch build. After enabling them I got this smatch error: drivers/media/i2c/rdacm21.c:373 ov10640_check_id() error: uninitialized symbol 'val'. Can you take a look? Thank you! Hans