mmu: show path and offset for file-mapped vma

Signed-off-by: Zifei Tong <[email protected]> Signed-off-by: Pekka Enberg <[email protected]>
cloudius-systems · Jul 23, 2014 · dbdd63a · dbdd63a
1 parent 8fb28d3
commit dbdd63a
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/core/mmu.cc b/core/mmu.cc
@@ -1764,8 +1764,13 @@ std::string procfs_maps()
             char write   = vma.perm() & perm_write ? 'w' : '-';
             char execute = vma.perm() & perm_exec  ? 'x' : '-';
             char priv    = 'p';
-            osv::fprintf(os, "%x-%x %c%c%c%c 00000000 00:00 0\n",
-                vma.start(), vma.end(), read, write, execute, priv);
+            osv::fprintf(os, "%x-%x %c%c%c%c ", vma.start(), vma.end(), read, write, execute, priv);
+            if (vma.flags() & mmap_file) {
+                const file_vma &f_vma = static_cast<file_vma&>(vma);
+                osv::fprintf(os, "%08x 00:00 0 %s\n", f_vma.offset(), f_vma.file()->f_dentry->d_path);
+            } else {
+                osv::fprintf(os, "00000000 00:00 0\n");
+            }
         }
     }
     return os.str();

diff --git a/include/osv/mmu.hh b/include/osv/mmu.hh
@@ -103,6 +103,8 @@ public:
     virtual error sync(uintptr_t start, uintptr_t end) override;
     virtual int validate_perm(unsigned perm);
     virtual void fault(uintptr_t addr, exception_frame *ef) override;
+    fileref file() const { return _file; }
+    f_offset offset() const { return _offset; }
 private:
     f_offset offset(uintptr_t addr);
     fileref _file;