#------------------------------------------------------------------------------\r
#\r
# Copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>\r
-# Copyright (c) 2011 - 2014, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011 - 2016, ARM Limited. All rights reserved.\r
#\r
# This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
GCC_ASM_EXPORT(ArmGetFiqState)\r
GCC_ASM_EXPORT(ArmGetTTBR0BaseAddress)\r
GCC_ASM_EXPORT(ArmSetTTBR0)\r
+GCC_ASM_EXPORT(ArmSetTTBCR)\r
GCC_ASM_EXPORT(ArmSetDomainAccessControl)\r
GCC_ASM_EXPORT(CPSRMaskInsert)\r
GCC_ASM_EXPORT(CPSRRead)\r
isb\r
bx lr\r
\r
+ASM_PFX(ArmSetTTBCR):\r
+ mcr p15, 0, r0, c2, c0, 2\r
+ isb\r
+ bx lr\r
+\r
ASM_PFX(ArmGetTTBR0BaseAddress):\r
mrc p15,0,r0,c2,c0,0\r
LoadConstantToReg(0xFFFFC000, r1)\r