Commit ccbce7bb authored by Committed by Vikram NarayananBrowse files
host-resource-trees: Page alloc inserts into memory interval tree.
Microkernel's page allocation code will insert the memory object that represents the allocated pages into the interval tree. Fixes interval tree insertion to use memory object range (start and last). Adds locks for tree traversal and per-node locks.