Subject: ARGSUSED and friends To: None <firstname.lastname@example.org> From: Andy Doran <email@example.com> List: tech-kern Date: 01/09/2000 23:03:07
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.