Aligning dev_t to 64bits.

Change-Id: I630f72f8530dd4aaf05c35ca23683ae12c9f8328
2014-03-02 12:28:32 +01:00
parent a00e322bea
commit 37598dccf1
40 changed files with 76 additions and 77 deletions
@@ -23,7 +23,7 @@ int do_readsuper()
  int r;

  dprintf(("%s: readsuper (dev %x, flags %x)\n",
-	sffs_name, (dev_t) m_in.REQ_DEV, m_in.REQ_FLAGS));
+	sffs_name, m_in.REQ_DEV, m_in.REQ_FLAGS));

  if (m_in.REQ_FLAGS & REQ_ISROOT) {
 	printf("%s: attempt to mount as root device\n", sffs_name);