//\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
// 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