#ifndef _JOVE_API_MEMORY_H
#define _JOVE_API_MEMORY_H 1

#include <stdbool.h>
#include <stdint.h>

#define JOVE_USERMEMORY_LIMIT 0x00007FFFFFFFFFFFULL

typedef uintptr_t virtaddr_t;
typedef uintptr_t physaddr_t;

typedef virtaddr_t virt_frame_t;
typedef physaddr_t phys_frame_t;

struct pagedir_mapping_flags
{
    bool present;
    bool writeable;
    bool executable;
};

struct pagedir_mapping
{
    phys_frame_t pfn;
    struct pagedir_mapping_flags flags;
};

#endif