//\r
-// Copyright (c) 2013, ARM Limited. All rights reserved.\r
+// Copyright (c) 2013-2014, 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
//\r
//\r
\r
-#include <AsmMacroIoLib.h>\r
+#include <AsmMacroIoLibV8.h>\r
\r
+#ifndef __clang__\r
// Register definitions used by GCC for GICv3 access.\r
// These are defined by ARMCC, so keep them in the GCC specific code for now.\r
#define ICC_SRE_EL2 S3_4_C12_C9_5\r
#define ICC_CTLR_EL1 S3_0_C12_C12_4\r
#define ICC_CTLR_EL3 S3_6_C12_C12_4\r
#define ICC_PMR_EL1 S3_0_C4_C6_0\r
+#endif\r
\r
.text\r
.align 3\r