43a44,47
> %#include <sys/param.h>
> %#include <sys/syslimits.h>
> %#include <sys/ucred.h>
> %#include <nfs/nfsv2.h>
49c53
< %static char rcsid[] = "$Id: bootparam_prot.x,v 1.1 1993/09/14 17:42:42 jtc Exp $";
---
> %static char rcsid[] = "bootparam_prot.x,v 1.1 1994/08/04 19:01:44 wollman Exp";