Charles Jacobsen authored Feb 27, 2016 and Vikram Narayanan committed Oct 26, 2016

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