Move $d_namlen to the end of $dirent (#264)

Author: caspervonb

phases/ephemeral/docs.md

@@ -558,13 +558,13 @@ The serial number of the file referred to by this directory entry.
 
 Offset: 8
 
-- <a href="#dirent.d_namlen" name="dirent.d_namlen"></a> `d_namlen`: [`dirnamlen`](#dirnamlen)
-The length of the name of the directory entry.
+- <a href="#dirent.d_type" name="dirent.d_type"></a> `d_type`: [`filetype`](#filetype)
+The type of the file referred to by this directory entry.
 
 Offset: 16
 
-- <a href="#dirent.d_type" name="dirent.d_type"></a> `d_type`: [`filetype`](#filetype)
-The type of the file referred to by this directory entry.
+- <a href="#dirent.d_namlen" name="dirent.d_namlen"></a> `d_namlen`: [`dirnamlen`](#dirnamlen)
+The length of the name of the directory entry.
 
 Offset: 20
 

phases/ephemeral/witx/typenames.witx

@@ -367,10 +367,10 @@
     (field $d_next $dircookie)
     ;;; The serial number of the file referred to by this directory entry.
     (field $d_ino $inode)
-    ;;; The length of the name of the directory entry.
-    (field $d_namlen $dirnamlen)
     ;;; The type of the file referred to by this directory entry.
     (field $d_type $filetype)
+    ;;; The length of the name of the directory entry.
+    (field $d_namlen $dirnamlen)
   )
 )