#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;
}