blob: 01f57c4a002ab8f16f742e162240492e21244430 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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;
}
|