40     mrc     p15, 0, r1, c2, c0, 1  in OS_EnableICacheForProtectionRegion()
41     orr     r1, r1, r0  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()
50     bic     r1, r1, r0  in OS_DisableICacheForProtectionRegion()
51     mcr     p15, 0, r1, c2, c0, 1  in OS_DisableICacheForProtectionRegion()
106     orr     r2, r2, r1  in OS_SetIPermissionsForProtectionRegion()
152     mrc     p15, 0, r1, c2, c0, 0  in OS_EnableDCacheForProtectionRegion()
153     orr     r1, r1, r0  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()
162     bic     r1, r1, r0  in OS_DisableDCacheForProtectionRegion()
163     mcr     p15, 0, r1, c2, c0, 0  in OS_DisableDCacheForProtectionRegion()
218     orr     r2, r2, r1  in OS_SetDPermissionsForProtectionRegion()
264     mrc     p15, 0, r1, c3, c0, 0  in OS_EnableWriteBufferForProtectionRegion()
265     orr     r1, r1, r0  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()
273     bic     r1, r1, r0  in OS_DisableWriteBufferForProtectionRegion()
274     mcr     p15, 0, r1, c3, c0, 0  in OS_DisableWriteBufferForProtectionRegion()