u-boot/include/imx_sip.h

/*
 * Copyright 2017 NXP
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef _IMX_SIP_H__
#define _IMX_SIP_H_

#define IMX_SIP_SRC		0xC2000005
#define IMX_SIP_SRC_M4_START	0x00
#define IMX_SIP_SRC_M4_STARTED	0x01

#endif