40     mrc     p15, 0, r1, c2, c0, 1  in OS_EnableICacheForProtectionRegion()
42     mcr     p15, 0, r1, c2, c0, 1  in OS_EnableICacheForProtectionRegion()
49     mrc     p15, 0, r1, c2, c0, 1  in OS_DisableICacheForProtectionRegion()
51     mcr     p15, 0, r1, c2, c0, 1  in OS_DisableICacheForProtectionRegion()
73     mrc     p15, 0, r0, c2, c0, 1  in OS_GetICacheEnableFlagsForProtectionRegion()
104     mrc     p15, 0, r2, c5, c0, 3  in OS_SetIPermissionsForProtectionRegion()
107     mcr     p15, 0, r2, c5, c0, 3  in OS_SetIPermissionsForProtectionRegion()
129     mrc     p15, 0, r0, c5, c0, 3  in OS_GetIPermissionsForProtectionRegion()
152     mrc     p15, 0, r1, c2, c0, 0  in OS_EnableDCacheForProtectionRegion()
154     mcr     p15, 0, r1, c2, c0, 0  in OS_EnableDCacheForProtectionRegion()
161     mrc     p15, 0, r1, c2, c0, 0  in OS_DisableDCacheForProtectionRegion()
163     mcr     p15, 0, r1, c2, c0, 0  in OS_DisableDCacheForProtectionRegion()
185     mrc     p15, 0, r0, c2, c0, 0  in OS_GetDCacheEnableFlagsForProtectionRegion()
216     mrc     p15, 0, r2, c5, c0, 2  in OS_SetDPermissionsForProtectionRegion()
219     mcr     p15, 0, r2, c5, c0, 2  in OS_SetDPermissionsForProtectionRegion()
241     mrc     p15, 0, r0, c5, c0, 2  in OS_GetDPermissionsForProtectionRegion()
264     mrc     p15, 0, r1, c3, c0, 0  in OS_EnableWriteBufferForProtectionRegion()
266     mcr     p15, 0, r1, c3, c0, 0  in OS_EnableWriteBufferForProtectionRegion()
272     mrc     p15, 0, r1, c3, c0, 0  in OS_DisableWriteBufferForProtectionRegion()
274     mcr     p15, 0, r1, c3, c0, 0  in OS_DisableWriteBufferForProtectionRegion()
296     mrc     p15, 0, r0, c3, c0, 0  in OS_GetWriteBufferEnableFlagsForProtectionRegion()
342     mcr     p15, 0, r0, c6, c0, 0  in OS_SetProtectionRegion0()
426     mrc     p15, 0, r0, c6, c0, 0  in OS_GetProtectionRegion0()