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