--- /dev/null
+//\r
+// Copyright (c) 2012-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
+// which accompanies this distribution. The full text of the license may be found at\r
+// http://opensource.org/licenses/bsd-license.php\r
+//\r
+// THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+// WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+//\r
+//\r
+\r
+ EXPORT ArmCallSmc\r
+ EXPORT ArmCallSmcArg1\r
+ EXPORT ArmCallSmcArg2\r
+ EXPORT ArmCallSmcArg3\r
+\r
+ AREA ArmSmc, CODE, READONLY\r
+\r
+ArmCallSmc\r
+ bx lr\r
+\r
+// Arg1 in R1\r
+ArmCallSmcArg1\r
+ bx lr\r
+\r
+ArmCallSmcArg2\r
+ bx lr\r
+\r
+ArmCallSmcArg3\r
+ bx lr\r
+\r
+ END\r