I'm writing kernel module that include the file linux/netfilter_ipv4.h from linux-headers.
In order to have access to IP Hooks I'm doing a "#undef __KERNEL__" before the include.
When I do the make it complains with the error message:
$ make
make -C /lib/modules/3.2.0-15-generic/build M=/home/zedtux/Developments/kernel_module modules
make[1]: Entering directory `/usr/src/linux-headers-3.2.0-15-generic'
CC [M] /home/zedtux/Developments/kernel_module/test.o
In file included from /home/zedtux/Developments/kernel_module/test.c:5:0:
include/linux/netfilter_ipv4.h:13:47: fatal error: limits.h: No such file or directory
compilation terminated.
make[2]: *** [/home/zedtux/Developments/kernel_module/test.o] Error 1
make[1]: *** [_module_/home/zedtux/Developments/kernel_module] Error 2
make[1]: Leaving directory `/usr/src/linux-headers-3.2.0-15-generic'
make: *** [all] Error 2
When I edit the file /usr/src/linux-headers-3.2.0-15-generic/include/linux/netfilter_ipv4.h at line 13 and I change "#include <limits.h>" to "#include <linux/limits.h>" then the make works.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: linux-image-3.2.0-15-generic 3.2.0-15.24
ProcVersionSignature: Ubuntu 3.2.0-15.24-generic 3.2.5
Uname: Linux 3.2.0-15-generic x86_64
AlsaDevices:
total 0
crw-rw---T 1 root audio 116, 1 Feb 9 19:25 seq
crw-rw---T 1 root audio 116, 33 Feb 9 19:25 timer
AplayDevices: aplay: device_list:242: no soundcards found...
ApportVersion: 1.91-0ubuntu1
Architecture: amd64
ArecordDevices: arecord: device_list:242: no soundcards found...
AudioDevicesInUse: Error: command ['fuser', '-v', '/dev/snd/seq', '/dev/snd/timer'] failed with exit code 1:
CRDA: Error: command ['iw', 'reg', 'get'] failed with exit code 1: nl80211 not found.
Date: Thu Feb 9 19:38:03 2012
HibernationDevice: RESUME=UUID=40037eaf-1f24-4190-8aa6-abc97288eb80
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Alpha amd64 (20120204)
IwConfig:
lo no wireless extensions.
eth0 no wireless extensions.
Lsusb:
Bus 001 Device 001: ID 1d6b:0001 Linux Foundation 1.1 root hub
Bus 001 Device 002: ID 80ee:0021 VirtualBox USB Tablet
MachineType: innotek GmbH VirtualBox
PciMultimedia:
ProcEnviron:
PATH=(custom, no user)
LANG=en_US.UTF-8
SHELL=/bin/bash
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.2.0-15-generic root=UUID=60958f9c-f5db-4eb3-bd90-3c106fa6ee14 ro quiet splash vt.handoff=7
RelatedPackageVersions:
linux-restricted-modules-3.2.0-15-generic N/A
linux-backports-modules-3.2.0-15-generic N/A
linux-firmware 1.68
RfKill:
SourcePackage: linux
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 12/01/2006
dmi.bios.vendor: innotek GmbH
dmi.bios.version: VirtualBox
dmi.modalias: dmi:bvninnotekGmbH:bvrVirtualBox:bd12/01/2006:svninnotekGmbH:pnVirtualBox:pvr1.2:
dmi.product.name: VirtualBox
dmi.product.version: 1.2
dmi.sys.vendor: innotek GmbH
There is a newer version of the kernel than the one you tested when this issue was found. Please test again with the newer kernel and indicate in the bug if this issue still exists or not. You can upgrade just your kernel by running the following in a terminal:
sudo apt-get update
sudo apt-get install linux
If the bug still exists in the latest kernel, please change the status back to "Confirmed". If the bug is fixed, please change the status to "Fix Released".
Thanks in advance