-
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).
3710d903