1 files changed, 33 insertions, 0 deletions
diff --git a/kernel/include/region.h b/kernel/include/region.h
new file mode 100644
index 0000000..701e2d9
--- /dev/null
+++ b/kernel/include/region.h
@@ -0,0 +1,33 @@
+#pragma once
+
+// Kernel virtual memory region allocator
+
+#include <sys.h>
+#include <paging.h>
+
+// Region types
+#define REGION_T_KERNEL_BASE	0x00000001		// base kernel code & data
+#define REGION_T_DESCRIPTORS	0x00000002		// contains more region descriptors
+#define REGION_T_PAGEDIR		0x00000010		// used to map a page directory
+#define REGION_T_PAGETABLE		0x00000020		// used to map a page table
+#define REGION_T_CORE_HEAP		0x00000100		// used for the core kernel heap
+#define REGION_T_PROC_HEAP		0x00000200		// used for a kernel process' heap
+#define REGION_T_CACHE			0x00001000		// used for cache
+#define REGION_T_HW				0x00002000		// used for hardware access
+
+struct region_info;
+typedef void (*page_fault_handler_t)(pagedir_t *pd, struct region_info *r, size_t addr);
+
+typedef struct region_info {
+	size_t addr, size;
+	uint32_t type;
+	page_fault_handler_t pf;
+} region_info_t;
+
+void region_allocator_init(void* kernel_data_end);
+
+size_t region_alloc(size_t size, uint32_t type, page_fault_handler_t pf);	// returns 0 on error
+region_info_t *find_region(size_t addr);
+void region_free(size_t addr);
+
+void dbg_print_region_stats();