#------------------------------------------------------------------------------ \r
#\r
# Copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>\r
-# Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2013, 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(ArmWriteScr)\r
GCC_ASM_EXPORT(ArmReadMVBar)\r
GCC_ASM_EXPORT(ArmWriteMVBar)\r
+GCC_ASM_EXPORT(ArmReadHVBar)\r
+GCC_ASM_EXPORT(ArmWriteHVBar)\r
GCC_ASM_EXPORT(ArmCallWFE)\r
GCC_ASM_EXPORT(ArmCallSEV)\r
GCC_ASM_EXPORT(ArmReadSctlr)\r
mcr p15, 0, r0, c1, c1, 0\r
bx lr\r
\r
+ASM_PFX(ArmReadHVBar):\r
+ mrc p15, 4, r0, c12, c0, 0\r
+ bx lr\r
+\r
+ASM_PFX(ArmWriteHVBar):\r
+ mcr p15, 4, r0, c12, c0, 0\r
+ bx lr\r
+\r
+\r
ASM_PFX(ArmReadMVBar):\r
mrc p15, 0, r0, c12, c0, 1\r
bx lr\r