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)
25 * Do an SMC call to return 2 registers by having reg1 passed in by reference
27 unsigned long call_imx_sip_ret2(unsigned long id, unsigned long reg0,
28 unsigned long *reg1, unsigned long reg2,