arch/x86_64/memory.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include "memory.h"
#include "arch/x86_64/page.h"
#include <stdint.h>

void*
ko_entry_data(objdir_entry_t *entry)
{
    if((intmax_t)entry->data < 0) return (void*)entry->data;
    return vmem_phys_tovirt(entry->data);
}

uintptr_t
ko_data_toentry(uintptr_t vptr)
{
    return vmem_ident_tophys((void*)vptr);
}