Flexio_Mcl_Ip_DeinitDevice (uint32 instance)
{
  struct FLEXIO_Type * baseAddr;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  baseAddr = 1074110464B;
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_Init (baseAddr);
  # DEBUG BEGIN_STMT
  Flexio_Ip_IpIsInitialized[instance] = 0;
  return;

}


Flexio_Mcl_Ip_InitDevice (const struct Flexio_Ip_InstanceConfigType * const pFlexioInitType)
{
  boolean LocDebugEnable;
  uint8 LocInstance;
  Flexio_Ip_CommonStatusType status;
  struct FLEXIO_Type * baseAddr;
  Flexio_Ip_CommonStatusType D.5759;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  status = 0;
  # DEBUG BEGIN_STMT
  LocInstance = pFlexioInitType->instance;
  # DEBUG BEGIN_STMT
  LocDebugEnable = pFlexioInitType->debugEnable;
  # DEBUG BEGIN_STMT
  _1 = (int) LocInstance;
  baseAddr = 1074110464B;
  # DEBUG BEGIN_STMT
  _2 = (int) LocInstance;
  _3 = Flexio_Ip_IpIsInitialized[_2];
  if (_3 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  status = 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_Init (baseAddr);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetEnable (baseAddr, 1);
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_SetDebugEnable (baseAddr, LocDebugEnable);
  # DEBUG BEGIN_STMT
  _4 = (int) LocInstance;
  Flexio_Ip_IpIsInitialized[_4] = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.5759 = status;
  return D.5759;

}


