> True, except INT_MAX isn't defined in kernel headers I think, > so I just put 0x7fffffff there. It doesn't really matter (see my other reply) but actually INT_MAX and others are in <linux/kernel.h> - R.