Commit 3710d903 authored by Committed by Vikram Narayanan
test-v2: Fix some allocator bugs, fix cptr cache bug.
I was using PAGE_SIZE instead of PAGE_SHIFT in some places. Also, non-isolated code sets up the cptr cache for isolated code; but the size of the mutex is different for each environment (16 bytes versus 8 bytes). So, I hacked libcap to take care of the difference (using padding).
Showing with 115 additions and 38 deletions