On Mon, 10 May 2004, Dmitry Timoshkov wrote:
It would be better to remove a duplicate definition to avoid such bad things happening in the future.
By all means, I didn't look at the problem, it just seemed that we must have some checks and bounds to avoid it. Now that you mention it, IIRC the second defintion is in kernel.h which is not a standard header, so removing it will be the way to go.