reproduce: # apt-get install sparse # sparse version: v0.6.4-66-g0196afe1 # https://git.kernel.org/pub/scm/linux/kernel/git/tglx/devel.git/commit/?id=b7294cacdfc054d1805af6c5e32a0104313a2f32 git remote add tglx-devel https://git.kernel.org/pub/scm/linux/kernel/git/tglx/devel.git git fetch --no-tags tglx-devel timers/posix git checkout b7294cacdfc054d1805af6c5e32a0104313a2f32 # 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=x86_64 olddefconfig make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__ -fmax-errors=unlimited -fmax-warnings=unlimited' O=build_dir ARCH=x86_64 SHELL=/bin/bash kernel/