1 // SPDX-License-Identifier: GPL-2.0+
7 #include <asm/arch/sys_proto.h>
9 unsigned long call_imx_sip(unsigned long id, unsigned long reg0,
10 unsigned long reg1, unsigned long reg2,
27 * Do an SMC call to return 2 registers by having reg1 passed in by reference
29 unsigned long call_imx_sip_ret2(unsigned long id, unsigned long reg0,
30 unsigned long *reg1, unsigned long reg2,