Taken from Debian linux-kernel-headers package Update 2005-05-05 gotom, add __extension__ for linux/types.h. --- linux.old/include/linux/time.h 2006-06-05 13:18:23.000000000 -0400 +++ linux.dev/include/linux/time.h 2006-06-10 00:16:51.962628154 -0400 @@ -1,6 +1,10 @@ #ifndef _LINUX_TIME_H #define _LINUX_TIME_H +#ifndef __KERNEL__ +#include +#else + #include #ifdef __KERNEL__ @@ -196,4 +200,6 @@ */ #define TIMER_ABSTIME 0x01 +#endif /* __KERNEL__ DEBIAN */ + #endif --- linux.old/include/linux/types.h 2006-06-05 13:18:23.000000000 -0400 +++ linux.dev/include/linux/types.h 2006-06-10 00:16:51.962628154 -0400 @@ -1,6 +1,14 @@ #ifndef _LINUX_TYPES_H #define _LINUX_TYPES_H +/* Debian: Use userland types instead. */ +#ifndef __KERNEL__ +# include +/* For other kernel headers. */ +# include +# include +#else + #ifdef __KERNEL__ #include @@ -147,6 +157,8 @@ #endif /* __KERNEL_STRICT_NAMES */ +#endif /* __KERNEL__ DEBIAN */ + /* * Below are truly Linux-specific types that should never collide with * any application/library that wants linux/types.h.