--- a/src/afs/afs.h	
+++ a/src/afs/afs.h	
@@ -15,9 +15,11 @@ 
 #ifdef KDUMP_KERNEL
 #include <afs/afs_args.h>
 #include <afs/afs_consts.h>
+#include <afs/afsint.h>
 #else
 #include "afs/afs_args.h"
 #include "afs/afs_consts.h"
+#include "afs/afsint.h"
 #endif
 
 /* jhash.h is a standalone header and is fine to pull into kernel code. */