#define SYS_NAME "alpha_dux40"
#define SYS_NAME_ID SYS_NAME_ID_alpha_dux40
#define AFS_HAVE_FFS 1 /* Use system's ffs. */
-#define AFS_HAVE_STATVFS 0 /* System doesn't support statvfs */
+#define AFS_HAVE_STATVFS 1 /* System supports statvfs */
#define AFSLITTLE_ENDIAN 1
/* Extra kernel definitions (from kdefs file) */