-
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.
ccbce7bb