diff --git a/servers/vm/pagerange.h b/servers/vm/pagerange.h new file mode 100644 index 000000000..edf84e9c2 --- /dev/null +++ b/servers/vm/pagerange.h @@ -0,0 +1,24 @@ + + +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include +#include + +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;