Subject: Re: ARGSUSED and friends
To: Andy Doran <>
From: Anders Magnusson <>
List: tech-kern
Date: 01/10/2000 06:35:27
> Do we have any policy on the use of lint against the kernel, and adding
> lint commands to the kernel for that purpose?
> I ask because I'd like to strip all the /* ARGSUSED */ stuff out of
> sys/arch/pmax - it's used in maybe 4 or 5 files.
Well, I think it would be real nice if the kerner were LINTable.
There are a bunch of things that must be fixed first, though.

-- Ragge