2 // Copyright (c) 2012-2014, ARM Limited. All rights reserved.
4 // SPDX-License-Identifier: BSD-2-Clause-Patent
8 #include <AsmMacroIoLibV8.h>
11 // Push x0 on the stack - The stack must always be quad-word aligned
14 // Load the SMC arguments values into the appropriate registers
22 // Pop the ARM_SMC_ARGS structure address from the stack into x9
25 // Store the SMC returned values into the ARM_SMC_ARGS structure.
26 // A SMC call can return up to 4 values - we do not need to store back x4-x7.