--- /dev/null
+
+
+#include <minix/callnr.h>
+#include <minix/com.h>
+#include <minix/config.h>
+#include <minix/const.h>
+#include <minix/ds.h>
+#include <minix/endpoint.h>
+#include <minix/keymap.h>
+#include <minix/minlib.h>
+#include <minix/type.h>
+#include <minix/ipc.h>
+#include <minix/sysutil.h>
+#include <minix/syslib.h>
+#include <minix/const.h>
+
+typedef struct pagerange {
+ phys_bytes addr; /* in pages */
+ phys_bytes size; /* in pages */
+
+ /* AVL fields */
+ struct pagerange *less, *greater; /* children */
+ int factor; /* AVL balance factor */
+} pagerange_t;