1 files changed, 15 insertions, 0 deletions
diff --git a/lib/libjove/arch/x86_64/object/directory.c b/lib/libjove/arch/x86_64/object/directory.c
new file mode 100644
index 0000000..01f57c4
--- /dev/null
+++ b/lib/libjove/arch/x86_64/object/directory.c
@@ -0,0 +1,15 @@
+#include <object.h>
+#include <arch/x86_64/object-pagemap.h>
+
+JoveError
+_jove_objdir_sync_at_arch(KernelObjectDirectory *dir, uint8_t i, obj_type_t type, KernelObjectTyped **memb)
+{
+    KernelObjectTyped *dirmemb = NULL;
+    switch(type) {
+        case KO_MEMORY_MAPPING:
+            dirmemb = JOVE_OBJECT_TYPED(_jove_alloc_pagemap(dir, i));
+            if(memb) *memb = dirmemb;
+            break;
+    }
+    return EJOVE_OK;
+}