Subject: ARGSUSED and friends
To: None <>
From: Andy Doran <>
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.