From a2358ad071117323d82f77d6d0f2ab17cb674e1c Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 8 Jun 2009 06:35:18 +0000 Subject: [PATCH] --- servers/vm/pagerange.h | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 servers/vm/pagerange.h 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; -- 2.44.0