reproduce (this is a W=1 build): # https://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git/commit/?id=c3f3b968d84f40449f767a592ae2363ceab597cb git remote add arnd-playground https://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git git fetch --no-tags arnd-playground config-gpio-legacy-7.3 git checkout c3f3b968d84f40449f767a592ae2363ceab597cb # apt-get install sparse # sparse: v0.6.5-rc1 # save the config file mkdir build_dir && cp config build_dir/.config make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__ -fmax-errors=unlimited -fmax-warnings=unlimited' O=build_dir ARCH=i386 olddefconfig make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__ -fmax-errors=unlimited -fmax-warnings=unlimited' O=build_dir ARCH=i386 SHELL=/bin/bash drivers/i2c/busses/ kernel/time/