#ifndef _LIBJOVE_ARCH_x86_64_OBJECT_PAGEMAP_H
#define _LIBJOVE_ARCH_x86_64_OBJECT_PAGEMAP_H 1

#include <jove/object-typed.h>

typedef struct KernelObjectPageMapping
{
    KernelObjectTyped typed;
    uint8_t level;
} KernelObjectPageMapping;



#endif