在我的 Ubuntu 18.04.1 系统上，我将 Linux 内核从 升级到4.15 linux-image-4.15.0-123-generic，以linux-image-unsigned-4.17.0-041700-generic获得 4.15 中不存在的修复。我按照说明进行操作这里：
cd /tmp/
wget -c http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.17/linux-headers-4.17.0-041700_4.17.0-041700.201806041953_all.deb
wget -c http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.17/linux-modules-4.17.0-041700-generic_4.17.0-041700.201806041953_amd64.deb
wget -c http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.17/linux-headers-4.17.0-041700-generic_4.17.0-041700.201806041953_amd64.deb
wget -c http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.17/linux-image-unsigned-4.17.0-041700-generic_4.17.0-041700.201806041953_amd64.deb
sudo dpkg -i *.deb
但看起来我的程序中包含的内核头（例如<sys/mman.h>）似乎仍然包含来自旧内核的头。4.17 头已安装/usr/src/linux-headers-4.17.0-041700/，我当前已登录到 4.17 内核：
root@node-0:~/pmdk# uname -r
4.17.0-041700-generic
如何检查编译器 ( gcc 7.5.0-3ubuntu1~18.04) 使用的头文件版本？如何使其指向 4.17 的内核头文件？