My team has built an Android kernel module to implement a cache-lockdown feature available in the ARM...the desired functionality.
While I can read the CP15's c9 register, and then write the data...to see why it crashed.