--- /dev/null
+/** @file\r
+*\r
+* Copyright (c) 2012, 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
+#ifndef __ARM_SMC_LIB__\r
+#define __ARM_SMC_LIB__\r
+\r
+VOID\r
+ArmCallSmc (\r
+ IN OUT UINTN *Rx\r
+ );\r
+\r
+VOID\r
+ArmCallSmcArg1 (\r
+ IN OUT UINTN *Rx,\r
+ IN OUT UINTN *Arg1\r
+ );\r
+\r
+VOID\r
+ArmCallSmcArg2 (\r
+ IN OUT UINTN *Rx,\r
+ IN OUT UINTN *Arg1,\r
+ IN OUT UINTN *Arg2\r
+ );\r
+\r
+VOID\r
+ArmCallSmcArg3 (\r
+ IN OUT UINTN *Rx,\r
+ IN OUT UINTN *Arg1,\r
+ IN OUT UINTN *Arg2,\r
+ IN OUT UINTN *Arg3\r
+ );\r
+\r
+#endif\r