blob: 0a519c5d03ca0f2e2a5bc304e9918373953f47ab (
plain) (
tree)
|
|
#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
|