*/
#include "../afs/param.h"
+#include <afsconfig.h>
+
+RCSID("$Header$");
+
#include "sys/limits.h"
#include "sys/types.h"
#include "sys/user.h"
#include <sys/timer.h> /* For the timer related defines */
#include <sys/intr.h> /* for the serialization defines */
#include <sys/malloc.h> /* for the parameters to xmalloc() */
-#include "afs/param.h"
#include "afs/afs_osi.h" /* pick up osi_timeval_t for afs_stats.h */
#include "afs/afs_stats.h"
#include "export.h"