Subject: Re: ARGSUSED and friends
To: Andy Doran <firstname.lastname@example.org>
From: Anders Magnusson <email@example.com>
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.