//\r
// Copyright (c) 2012-2014, ARM Limited. All rights reserved.\r
-// Copyright (c) 2014, Linaro Limited. All rights reserved.\r
+// Copyright (c) 2014-2016, Linaro 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
-.text\r
-.align 3\r
-.arch_extension virt\r
+#include <AsmMacroIoLibV8.h>\r
\r
-GCC_ASM_EXPORT(ArmCallHvc)\r
+.arch_extension virt\r
\r
-ASM_PFX(ArmCallHvc):\r
+ASM_FUNC(ArmCallHvc)\r
push {r4-r8}\r
// r0 will be popped just after the HVC call\r
push {r0}\r