#ifndef SOCKS_VM_H_
#define SOCKS_VM_H_

#include <socks/status.h>
#include <socks/compiler.h>

typedef struct vm_map_entry {
	int reserved;
} vm_map_entry_t;

typedef struct vm_map {
	int reserved;
} vm_map_t;

typedef struct vm_object {
	int reserved;
} vm_object_t;

typedef struct vm_page {
	char padding[64];
} __packed vm_page_t;

extern kern_status_t vm_bootstrap(void);

extern vm_map_t *vm_map_create(void);

extern vm_object_t *vm_object_create(void);

extern void vm_page_init(vm_page_t *page);

#endif