43     bx      lr  in OS_EnableICacheForProtectionRegion()
52     bx      lr  in OS_DisableICacheForProtectionRegion()
74     bx      lr  in OS_GetICacheEnableFlagsForProtectionRegion()
108     bx      lr  in OS_SetIPermissionsForProtectionRegion()
130     bx      lr  in OS_GetIPermissionsForProtectionRegion()
155     bx      lr  in OS_EnableDCacheForProtectionRegion()
164     bx      lr  in OS_DisableDCacheForProtectionRegion()
186     bx      lr  in OS_GetDCacheEnableFlagsForProtectionRegion()
220     bx      lr  in OS_SetDPermissionsForProtectionRegion()
242     bx      lr  in OS_GetDPermissionsForProtectionRegion()
267     bx      lr  in OS_EnableWriteBufferForProtectionRegion()
275     bx      lr  in OS_DisableWriteBufferForProtectionRegion()
297     bx      lr  in OS_GetWriteBufferEnableFlagsForProtectionRegion()
343     bx      lr  in OS_SetProtectionRegion0()
349     bx      lr  in OS_SetProtectionRegion1()
355     bx      lr  in OS_SetProtectionRegion2()
361     bx      lr  in OS_SetProtectionRegion3()
367     bx      lr  in OS_SetProtectionRegion4()
373     bx      lr  in OS_SetProtectionRegion5()
379     bx      lr  in OS_SetProtectionRegion6()
385     bx      lr  in OS_SetProtectionRegion7()
427     bx      lr  in OS_GetProtectionRegion0()
433     bx      lr  in OS_GetProtectionRegion1()
439     bx      lr  in OS_GetProtectionRegion2()
445     bx      lr  in OS_GetProtectionRegion3()
451     bx      lr  in OS_GetProtectionRegion4()
457     bx      lr  in OS_GetProtectionRegion5()
463     bx      lr  in OS_GetProtectionRegion6()
469     bx      lr  in OS_GetProtectionRegion7()