/*
   * 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