#ifndef _SYS_TYPES_H
#define _SYS_TYPES_H 1

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

typedef intmax_t tid_t;

typedef struct {
    intmax_t tid;
    uintmax_t addr;
} linear_address_t;

typedef uintptr_t physptr_t;

typedef struct page_flags
{
    bool present;
    bool writeable;
    bool useraccess;
    bool executable;
} page_flags_t;

typedef struct page_mapping
{
    physptr_t phys;
    page_flags_t pf;
} page_mapping_t;


#endif