
Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Symbol table:

SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_01/37 (SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_01) @0641c380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_SetChainMode/8 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_01/36 (SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_01) @0641c2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_SetChainMode/8 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_03/35 (SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_03) @06c5c700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_03/34 (SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_03) @06c5c620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_02/33 (SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_02) @06c5c460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_02/32 (SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_02) @06c5c380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_00/31 (SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_00) @06c5c1c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_00/30 (SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_00) @06c5c0e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
PIT_0_ISR/29 (PIT_0_ISR) @06c4f9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:134217728 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_ProcessCommonInterrupt/18 (64654290 (estimated locally),0.48 per call) Pit_Ip_ClearInterruptFlag/14 (64654290 (estimated locally),0.48 per call) 
Pit_Ip_GetLifetimeTimer/28 (Pit_Ip_GetLifetimeTimer) @06c4f700
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_SetLifetimeTimer/27 (Pit_Ip_SetLifetimeTimer) @06c4f460
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) Pit_Ip_SetChainMode/8 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_DisableChannelInterrupt/26 (Pit_Ip_DisableChannelInterrupt) @06c4f1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_EnableChannelInterrupt/25 (Pit_Ip_EnableChannelInterrupt) @06c46d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_GetCurrentTimer/24 (Pit_Ip_GetCurrentTimer) @06c467e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_StopChannel/23 (Pit_Ip_StopChannel) @06c462a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: Pit_Ip_ProcessCommonInterrupt/18 (217325345 (estimated locally),0.20 per call) 
  Calls: Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_StartChannel/22 (Pit_Ip_StartChannel) @06c46ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_EnableTimer/6 (354334802 (estimated locally),0.33 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_Deinit/21 (Pit_Ip_Deinit) @06c46c40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_Reset/9 (1073634451 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_InitChannel/20 (Pit_Ip_InitChannel) @06c469a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Pit_Ip_u32ChState/2 (write)Pit_Ip_u32ChState/2 (write)Pit_Ip_u32ChState/2 (write)Pit_Ip_u32ChState/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_ClearInterruptFlag/14 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableInterrupt/13 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableTimer/6 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_Init/19 (Pit_Ip_Init) @06c46700
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Pit_Ip_SetDebugMode/7 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableModule/5 (354334802 (estimated locally),0.33 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) DevAssert/0 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_ProcessCommonInterrupt/18 (Pit_Ip_ProcessCommonInterrupt) @06c46460
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: Pit_Ip_u32ChState/2 (read)Pit_Ip_u32ChState/2 (read)Pit_Ip_u32ChState/2 (read)Pit_Ip_u32ChState/2 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: PIT_0_ISR/29 (64654290 (estimated locally),0.48 per call) 
  Calls: Pit_Ip_StopChannel/23 (217325345 (estimated locally),0.20 per call) 
   Indirect call(255550554 (estimated locally),0.24 per call) 
Pit_Ip_ClearInterruptFlag/14 (Pit_Ip_ClearInterruptFlag) @06aef380
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: PIT_0_ISR/29 (64654290 (estimated locally),0.48 per call) Pit_Ip_DisableChannelInterrupt/26 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableChannelInterrupt/25 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StopChannel/23 (1073741824 (estimated locally),1.00 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) 
  Calls: SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_03/35 (1073741824 (estimated locally),1.00 per call) SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_03/34 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_EnableInterrupt/13 (Pit_Ip_EnableInterrupt) @06aefd20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Pit_Ip_SetLifetimeTimer/27 (1073741824 (estimated locally),1.00 per call) Pit_Ip_DisableChannelInterrupt/26 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableChannelInterrupt/25 (1073741824 (estimated locally),1.00 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) 
  Calls: SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_02/33 (1073741824 (estimated locally),1.00 per call) SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_02/32 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_Reset/9 (Pit_Ip_Reset) @06aef2a0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:134217728 (estimated locally) body local optimize_size
  Called by: Pit_Ip_Deinit/21 (1073634451 (estimated locally),1.00 per call) 
  Calls: 
Pit_Ip_SetChainMode/8 (Pit_Ip_SetChainMode) @06ae60e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Pit_Ip_SetLifetimeTimer/27 (1073741824 (estimated locally),1.00 per call) 
  Calls: SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_01/37 (1073741824 (estimated locally),1.00 per call) SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_01/36 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_SetDebugMode/7 (Pit_Ip_SetDebugMode) @06ae6d20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Pit_Ip_Init/19 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
Pit_Ip_EnableTimer/6 (Pit_Ip_EnableTimer) @06ae6a80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Pit_Ip_SetLifetimeTimer/27 (1073741824 (estimated locally),1.00 per call) Pit_Ip_SetLifetimeTimer/27 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StopChannel/23 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StartChannel/22 (354334802 (estimated locally),0.33 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) 
  Calls: SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_00/31 (1073741824 (estimated locally),1.00 per call) SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_00/30 (1073741824 (estimated locally),1.00 per call) 
Pit_Ip_EnableModule/5 (Pit_Ip_EnableModule) @06ae67e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: pitBase/1 (read)
  Referring: 
  Availability: local
  Function flags: count:1073741824 (estimated locally) body local optimize_size
  Called by: Pit_Ip_Init/19 (354334802 (estimated locally),0.33 per call) 
  Calls: 
Pit_Ip_GetInterruptFlags/4 (Pit_Ip_GetInterruptFlags) @06ae6540
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Pit_Ip_GetLoadValue/3 (Pit_Ip_GetLoadValue) @06ae62a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: pitBase/1 (read)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Pit_Ip_u32ChState/2 (Pit_Ip_u32ChState) @06b20360
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: Pit_Ip_InitChannel/20 (write)Pit_Ip_InitChannel/20 (write)Pit_Ip_InitChannel/20 (write)Pit_Ip_InitChannel/20 (write)Pit_Ip_ProcessCommonInterrupt/18 (read)Pit_Ip_ProcessCommonInterrupt/18 (read)Pit_Ip_ProcessCommonInterrupt/18 (read)Pit_Ip_ProcessCommonInterrupt/18 (read)
  Availability: available
  Varpool flags: initialized
pitBase/1 (pitBase) @06b1bf30
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: Pit_Ip_ClearInterruptFlag/14 (read)Pit_Ip_SetChainMode/8 (read)Pit_Ip_GetLifetimeTimer/28 (read)Pit_Ip_GetCurrentTimer/24 (read)Pit_Ip_EnableInterrupt/13 (read)Pit_Ip_StartChannel/22 (read)Pit_Ip_EnableInterrupt/13 (read)Pit_Ip_GetLoadValue/3 (read)Pit_Ip_EnableModule/5 (read)Pit_Ip_SetDebugMode/7 (read)Pit_Ip_SetDebugMode/7 (read)Pit_Ip_SetChainMode/8 (read)Pit_Ip_Reset/9 (read)Pit_Ip_GetInterruptFlags/4 (read)Pit_Ip_Reset/9 (read)Pit_Ip_SetLifetimeTimer/27 (read)Pit_Ip_EnableTimer/6 (read)Pit_Ip_EnableTimer/6 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
DevAssert/0 (DevAssert) @06ad9ee0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: count:214748 (estimated locally) body local optimize_size
  Called by: Pit_Ip_GetLifetimeTimer/28 (1073741824 (estimated locally),1.00 per call) Pit_Ip_SetLifetimeTimer/27 (1073741824 (estimated locally),1.00 per call) Pit_Ip_DisableChannelInterrupt/26 (1073741824 (estimated locally),1.00 per call) Pit_Ip_DisableChannelInterrupt/26 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableChannelInterrupt/25 (1073741824 (estimated locally),1.00 per call) Pit_Ip_EnableChannelInterrupt/25 (1073741824 (estimated locally),1.00 per call) Pit_Ip_GetCurrentTimer/24 (1073741824 (estimated locally),1.00 per call) Pit_Ip_GetCurrentTimer/24 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StopChannel/23 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StopChannel/23 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StartChannel/22 (1073741824 (estimated locally),1.00 per call) Pit_Ip_StartChannel/22 (1073741824 (estimated locally),1.00 per call) Pit_Ip_Deinit/21 (1073741824 (estimated locally),1.00 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) Pit_Ip_InitChannel/20 (1073741824 (estimated locally),1.00 per call) Pit_Ip_Init/19 (1073741824 (estimated locally),1.00 per call) Pit_Ip_Init/19 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
PIT_0_ISR ()
{
  uint32 returnFlag;
  uint32 returnFlag;
  uint32 currentChannelMask;
  uint32 enableBits;
  uint32 flagBits;
  uint8 channel;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _21;
  long unsigned int _23;
  long unsigned int _27;
  long unsigned int _28;
  int _30;
  long unsigned int _31;

  <bb 2> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG instance => 0
  # DEBUG BEGIN_STMT
  # DEBUG channel => 0
  # DEBUG BEGIN_STMT
  # DEBUG flagBits => 0
  # DEBUG BEGIN_STMT
  # DEBUG enableBits => 0
  # DEBUG BEGIN_STMT
  # DEBUG currentChannelMask => 0
  # DEBUG BEGIN_STMT
  # DEBUG channel => 0
  goto <bb 7>; [100.00%]

  <bb 3> [local count: 939524097]:
  # DEBUG BEGIN_STMT
  _1 = (long unsigned int) channel_8;
  currentChannelMask_20 = 1 << _1;
  # DEBUG currentChannelMask => currentChannelMask_20
  # DEBUG BEGIN_STMT
  # DEBUG instance => 0
  # DEBUG channel => channel_8
  # DEBUG INLINE_ENTRY Pit_Ip_GetInterruptFlags
  # DEBUG BEGIN_STMT
  # DEBUG returnFlag => 0
  # DEBUG BEGIN_STMT
  _30 = (int) channel_8;
  _31 ={v} MEM[(struct PIT_Type *)1075347456B].TIMER[_30].TFLG;
  returnFlag_32 = _31 & 1;
  # DEBUG returnFlag => returnFlag_32
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG returnFlag => NULL
  _21 = returnFlag_32 << _30;
  flagBits_22 = flagBits_10 | _21;
  # DEBUG flagBits => flagBits_22
  # DEBUG BEGIN_STMT
  # DEBUG instance => 0
  # DEBUG channel => channel_8
  # DEBUG INLINE_ENTRY Pit_Ip_GetInterruptBit
  # DEBUG BEGIN_STMT
  # DEBUG returnFlag => 0
  # DEBUG BEGIN_STMT
  _27 ={v} MEM[(struct PIT_Type *)1075347456B].TIMER[_30].TCTRL;
  _28 = _27 >> 1;
  returnFlag_29 = _28 & 1;
  # DEBUG returnFlag => returnFlag_29
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG returnFlag => NULL
  _23 = returnFlag_29 << _30;
  enableBits_24 = enableBits_11 | _23;
  # DEBUG enableBits => enableBits_24
  # DEBUG BEGIN_STMT
  _2 = currentChannelMask_20 & flagBits_22;
  if (_2 == currentChannelMask_20)
    goto <bb 4>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 4> [local count: 319438193]:
  _3 = currentChannelMask_20 & enableBits_24;
  if (_3 == currentChannelMask_20)
    goto <bb 5>; [20.24%]
  else
    goto <bb 6>; [79.76%]

  <bb 5> [local count: 64654290]:
  # DEBUG BEGIN_STMT
  Pit_Ip_ClearInterruptFlag (0, channel_8);

  <bb 6> [local count: 939524097]:
  # DEBUG BEGIN_STMT
  channel_26 = channel_8 + 1;
  # DEBUG channel => channel_26

  <bb 7> [local count: 1073741824]:
  # channel_8 = PHI <0(2), channel_26(6)>
  # flagBits_10 = PHI <0(2), flagBits_22(6)>
  # enableBits_11 = PHI <0(2), enableBits_24(6)>
  # DEBUG enableBits => enableBits_11
  # DEBUG flagBits => flagBits_10
  # DEBUG channel => channel_8
  # DEBUG BEGIN_STMT
  if (channel_8 != 7)
    goto <bb 3>; [87.50%]
  else
    goto <bb 8>; [12.50%]

  <bb 8> [local count: 134217728]:
  # flagBits_7 = PHI <flagBits_10(7)>
  # enableBits_33 = PHI <enableBits_11(7)>
  goto <bb 13>; [100.00%]

  <bb 9> [local count: 939524097]:
  # DEBUG BEGIN_STMT
  _4 = (long unsigned int) channel_9;
  currentChannelMask_17 = 1 << _4;
  # DEBUG currentChannelMask => currentChannelMask_17
  # DEBUG BEGIN_STMT
  _5 = flagBits_7 & currentChannelMask_17;
  if (_5 == currentChannelMask_17)
    goto <bb 10>; [34.00%]
  else
    goto <bb 12>; [66.00%]

  <bb 10> [local count: 319438193]:
  _6 = currentChannelMask_17 & enableBits_33;
  if (_6 == currentChannelMask_17)
    goto <bb 11>; [20.24%]
  else
    goto <bb 12>; [79.76%]

  <bb 11> [local count: 64654290]:
  # DEBUG BEGIN_STMT
  Pit_Ip_ProcessCommonInterrupt (0, channel_9);

  <bb 12> [local count: 939524097]:
  # DEBUG BEGIN_STMT
  channel_19 = channel_9 + 1;
  # DEBUG channel => channel_19

  <bb 13> [local count: 1073741824]:
  # channel_9 = PHI <channel_19(12), 0(8)>
  # DEBUG channel => channel_9
  # DEBUG BEGIN_STMT
  if (channel_9 != 7)
    goto <bb 9>; [87.50%]
  else
    goto <bb 14>; [12.50%]

  <bb 14> [local count: 134217728]:
  return;

}


Pit_Ip_GetLifetimeTimer (uint8 instance)
{
  uint32 upperValue;
  uint32 lowerValue;
  uint64 lifeTimeValue;
  _Bool _1;
  unsigned char _2;
  long long unsigned int _3;
  long long unsigned int _4;
  long long unsigned int _5;
  int _11;
  struct PIT_Type * _12;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_6(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  # DEBUG lifeTimeValue => 0
  # DEBUG BEGIN_STMT
  # DEBUG valueH => 0
  # DEBUG BEGIN_STMT
  # DEBUG valueL => 0
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_6(D)
  # DEBUG INLINE_ENTRY Pit_Ip_GetUpperLifetimerValue
  # DEBUG BEGIN_STMT
  # DEBUG upperValue => 0
  # DEBUG BEGIN_STMT
  _11 = (int) instance_6(D);
  _12 = pitBase[_11];
  upperValue_13 ={v} _12->LTMR64H;
  # DEBUG upperValue => upperValue_13
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG upperValue => NULL
  # DEBUG valueH => upperValue_13
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_6(D)
  # DEBUG INLINE_ENTRY Pit_Ip_GetLowerLifetimerValue
  # DEBUG BEGIN_STMT
  # DEBUG lowerValue => 0
  # DEBUG BEGIN_STMT
  lowerValue_10 ={v} _12->LTMR64L;
  # DEBUG lowerValue => lowerValue_10
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG lowerValue => NULL
  # DEBUG valueL => lowerValue_10
  # DEBUG BEGIN_STMT
  _3 = (long long unsigned int) upperValue_13;
  _4 = _3 << 32;
  _5 = (long long unsigned int) lowerValue_10;
  lifeTimeValue_9 = _4 + _5;
  # DEBUG lifeTimeValue => lifeTimeValue_9
  # DEBUG BEGIN_STMT
  return lifeTimeValue_9;

}


Pit_Ip_SetLifetimeTimer (uint8 instance)
{
  _Bool _1;
  unsigned char _2;
  int _10;
  struct PIT_Type * _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_3(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_3(D)
  # DEBUG channel => 1
  # DEBUG value => 4294967295
  # DEBUG INLINE_ENTRY Pit_Ip_SetCounterValue
  # DEBUG BEGIN_STMT
  _10 = (int) instance_3(D);
  _11 = pitBase[_10];
  _11->TIMER[1].LDVAL ={v} 4294967295;
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG value => NULL
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableInterrupt (instance_3(D), 1, 0);
  # DEBUG BEGIN_STMT
  Pit_Ip_SetChainMode (instance_3(D), 1, 1);
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableTimer (instance_3(D), 1, 1);
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_3(D)
  # DEBUG channel => 0
  # DEBUG value => 4294967295
  # DEBUG INLINE_ENTRY Pit_Ip_SetCounterValue
  # DEBUG BEGIN_STMT
  _11->TIMER[0].LDVAL ={v} 4294967295;
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG value => NULL
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableTimer (instance_3(D), 0, 1);
  return;

}


Pit_Ip_DisableChannelInterrupt (uint8 instance, uint8 channel)
{
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_5(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = channel_8(D) <= 6;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableInterrupt (instance_5(D), channel_8(D), 0);
  # DEBUG BEGIN_STMT
  Pit_Ip_ClearInterruptFlag (instance_5(D), channel_8(D));
  return;

}


Pit_Ip_EnableChannelInterrupt (uint8 instance, uint8 channel)
{
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_5(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = channel_8(D) <= 6;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  Pit_Ip_ClearInterruptFlag (instance_5(D), channel_8(D));
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableInterrupt (instance_5(D), channel_8(D), 1);
  return;

}


Pit_Ip_GetCurrentTimer (uint8 instance, uint8 channel)
{
  uint32 counterValue;
  uint64 counterValue;
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;
  int _11;
  struct PIT_Type * _12;
  int _13;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_5(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = channel_8(D) <= 6;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  # DEBUG counterValue => 0
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_5(D)
  # DEBUG channel => channel_8(D)
  # DEBUG INLINE_ENTRY Pit_Ip_GetCounterValue
  # DEBUG BEGIN_STMT
  # DEBUG counterValue => 0
  # DEBUG BEGIN_STMT
  _11 = (int) instance_5(D);
  _12 = pitBase[_11];
  _13 = (int) channel_8(D);
  counterValue_14 ={v} _12->TIMER[_13].CVAL;
  # DEBUG counterValue => counterValue_14
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG counterValue => NULL
  counterValue_10 = (uint64) counterValue_14;
  # DEBUG counterValue => counterValue_10
  # DEBUG BEGIN_STMT
  return counterValue_10;

}


Pit_Ip_StopChannel (uint8 instance, uint8 channel)
{
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_5(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = channel_8(D) <= 6;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableTimer (instance_5(D), channel_8(D), 0);
  # DEBUG BEGIN_STMT
  Pit_Ip_ClearInterruptFlag (instance_5(D), channel_8(D));
  return;

}


Pit_Ip_StartChannel (uint8 instance, uint8 channel, uint32 countValue)
{
  Pit_Ip_StatusType status;
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;
  long unsigned int _5;
  int _15;
  struct PIT_Type * _16;
  int _17;
  long unsigned int _18;
  _Bool _19;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_8(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = channel_11(D) <= 6;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  # DEBUG isRunning => 0
  # DEBUG BEGIN_STMT
  # DEBUG status => 1
  # DEBUG BEGIN_STMT
  # DEBUG instance => instance_8(D)
  # DEBUG channel => channel_11(D)
  # DEBUG INLINE_ENTRY Pit_Ip_IsChannelRunning
  # DEBUG BEGIN_STMT
  # DEBUG isRunning => 0
  # DEBUG BEGIN_STMT
  _15 = (int) instance_8(D);
  _16 = pitBase[_15];
  _17 = (int) channel_11(D);
  _18 ={v} _16->TIMER[_17].TCTRL;
  _19 = (_Bool) _18;
  # DEBUG D#1 => (boolean) _19
  # DEBUG isRunning => D#1
  # DEBUG BEGIN_STMT
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG isRunning => NULL
  # DEBUG isRunning => D#1
  # DEBUG BEGIN_STMT
  if (_19 != 0)
    goto <bb 4>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _5 = countValue_13(D) + 4294967295;
  # DEBUG instance => instance_8(D)
  # DEBUG channel => channel_11(D)
  # DEBUG value => _5
  # DEBUG INLINE_ENTRY Pit_Ip_SetCounterValue
  # DEBUG BEGIN_STMT
  _16->TIMER[_17].LDVAL ={v} _5;
  # DEBUG instance => NULL
  # DEBUG channel => NULL
  # DEBUG value => NULL
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableTimer (instance_8(D), channel_11(D), 1);
  # DEBUG BEGIN_STMT
  # DEBUG status => 0

  <bb 4> [local count: 1073741824]:
  # status_6 = PHI <1(2), 0(3)>
  # DEBUG status => status_6
  # DEBUG BEGIN_STMT
  return status_6;

}


Pit_Ip_Deinit (uint8 instance)
{
  boolean mdisBitExists;
  uint8 channelNum;
  _Bool _1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_5(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  # DEBUG channelNum => 0
  # DEBUG BEGIN_STMT
  # DEBUG rtiChannelExists => 0
  # DEBUG BEGIN_STMT
  # DEBUG mdisBitExists => 0
  # DEBUG BEGIN_STMT
  switch (instance_5(D)) <default: <L4> [33.33%], case 0: <L0> [33.33%], case 1: <L1> [33.33%]>

  <bb 3> [local count: 357878150]:
<L0>:
  # DEBUG BEGIN_STMT
  # DEBUG channelNum => 7
  # DEBUG BEGIN_STMT
  # DEBUG mdisBitExists => 1
  # DEBUG BEGIN_STMT
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 357878150]:
<L1>:
  # DEBUG BEGIN_STMT
  # DEBUG channelNum => 6
  # DEBUG BEGIN_STMT
  # DEBUG mdisBitExists => 1
  # DEBUG BEGIN_STMT

  <bb 5> [local count: 1073634451]:
  # channelNum_3 = PHI <7(3), 6(4), 0(2)>
  # mdisBitExists_4 = PHI <1(3), 1(4), 0(2)>
<L4>:
  # DEBUG mdisBitExists => mdisBitExists_4
  # DEBUG channelNum => channelNum_3
  # DEBUG BEGIN_STMT
  Pit_Ip_Reset (instance_5(D), channelNum_3, 0, mdisBitExists_4);
  return;

}


Pit_Ip_InitChannel (uint8 instance, const struct Pit_Ip_ChannelConfigType * chnlConfig)
{
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;
  unsigned char _5;
  _Bool _6;
  unsigned char _7;
  unsigned char _8;
  unsigned char _9;
  unsigned char _10;
  int _11;
  unsigned char _12;
  int _13;
  void (*<T481>) (uint8) _14;
  unsigned char _15;
  <unnamed type> _16;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_17(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = chnlConfig_20(D) != 0B;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  _5 = chnlConfig_20(D)->hwChannel;
  _6 = _5 <= 6;
  _7 = (unsigned char) _6;
  DevAssert (_7);
  # DEBUG BEGIN_STMT
  _8 = chnlConfig_20(D)->hwChannel;
  Pit_Ip_EnableTimer (instance_17(D), _8, 0);
  # DEBUG BEGIN_STMT
  _9 = chnlConfig_20(D)->hwChannel;
  Pit_Ip_EnableInterrupt (instance_17(D), _9, 0);
  # DEBUG BEGIN_STMT
  _10 = chnlConfig_20(D)->hwChannel;
  Pit_Ip_ClearInterruptFlag (instance_17(D), _10);
  # DEBUG BEGIN_STMT
  _11 = (int) instance_17(D);
  _12 = chnlConfig_20(D)->hwChannel;
  _13 = (int) _12;
  Pit_Ip_u32ChState[_11][_13].chInit = 1;
  # DEBUG BEGIN_STMT
  _14 = chnlConfig_20(D)->callback;
  Pit_Ip_u32ChState[_11][_13].callback = _14;
  # DEBUG BEGIN_STMT
  _15 = chnlConfig_20(D)->callbackParam;
  Pit_Ip_u32ChState[_11][_13].callbackParam = _15;
  # DEBUG BEGIN_STMT
  _16 = chnlConfig_20(D)->channelMode;
  Pit_Ip_u32ChState[_11][_13].channelMode = _16;
  return;

}


Pit_Ip_Init (uint8 instance, const struct Pit_Ip_InstanceConfigType * config)
{
  _Bool _1;
  unsigned char _2;
  _Bool _3;
  unsigned char _4;
  unsigned char _5;
  unsigned char _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = instance_8(D) <= 1;
  _2 = (unsigned char) _1;
  DevAssert (_2);
  # DEBUG BEGIN_STMT
  _3 = config_11(D) != 0B;
  _4 = (unsigned char) _3;
  DevAssert (_4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = config_11(D)->enableStandardTimers;
  if (_5 != 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  Pit_Ip_EnableModule (instance_8(D), 0);

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _6 = config_11(D)->stopRunInDebug;
  Pit_Ip_SetDebugMode (instance_8(D), _6);
  return;

}


Pit_Ip_ProcessCommonInterrupt (uint8 instance, uint8 channel)
{
  int _1;
  int _2;
  <unnamed type> _3;
  unsigned char _4;
  void (*<T481>) (uint8) _5;
  unsigned char _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_9(D);
  _2 = (int) channel_10(D);
  _3 = Pit_Ip_u32ChState[_1][_2].channelMode;
  if (_3 == 1)
    goto <bb 3>; [20.24%]
  else
    goto <bb 4>; [79.76%]

  <bb 3> [local count: 217325345]:
  # DEBUG BEGIN_STMT
  Pit_Ip_StopChannel (instance_9(D), channel_10(D));

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _4 = Pit_Ip_u32ChState[_1][_2].chInit;
  if (_4 == 1)
    goto <bb 5>; [34.00%]
  else
    goto <bb 7>; [66.00%]

  <bb 5> [local count: 365072220]:
  _5 = Pit_Ip_u32ChState[_1][_2].callback;
  if (_5 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 255550554]:
  # DEBUG BEGIN_STMT
  _6 = Pit_Ip_u32ChState[_1][_2].callbackParam;
  _5 (_6);

  <bb 7> [local count: 1073741824]:
  return;

}


Pit_Ip_ClearInterruptFlag (uint8 instance, uint8 channel)
{
  int _1;
  struct PIT_Type * _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_03 ();
  # DEBUG BEGIN_STMT
  _1 = (int) instance_8(D);
  _2 = pitBase[_1];
  _3 = (int) channel_9(D);
  _4 ={v} _2->TIMER[_3].TFLG;
  _5 = _4 | 1;
  _2->TIMER[_3].TFLG ={v} _5;
  # DEBUG BEGIN_STMT
  SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_03 ();
  return;

}


Pit_Ip_EnableInterrupt (uint8 instance, uint8 channel, boolean enable)
{
  int _1;
  struct PIT_Type * _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  int _6;
  struct PIT_Type * _7;
  int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_02 ();
  # DEBUG BEGIN_STMT
  if (enable_14(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_15(D);
  _2 = pitBase[_1];
  _3 = (int) channel_16(D);
  _4 ={v} _2->TIMER[_3].TCTRL;
  _5 = _4 | 2;
  _2->TIMER[_3].TCTRL ={v} _5;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  _6 = (int) instance_15(D);
  _7 = pitBase[_6];
  _8 = (int) channel_16(D);
  _9 ={v} _7->TIMER[_8].TCTRL;
  _10 = _9 & 4294967293;
  _7->TIMER[_8].TCTRL ={v} _10;

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_02 ();
  return;

}


Pit_Ip_Reset (uint8 instance, uint8 channelNum, boolean available, boolean bitExists)
{
  uint8 i;
  uint8 channelIndex;
  uint32 mask;
  int _1;
  struct PIT_Type * _2;
  int _3;
  int _4;
  struct PIT_Type * _5;

  <bb 2> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  # DEBUG mask => 0
  # DEBUG BEGIN_STMT
  # DEBUG channelIndex => channelNum_10(D)
  # DEBUG BEGIN_STMT
  if (available_11(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 45634028]:
  # DEBUG BEGIN_STMT
  channelIndex_13 = channelNum_10(D) + 255;
  # DEBUG channelIndex => channelIndex_13
  goto <bb 6>; [100.00%]

  <bb 4> [local count: 88583701]:
  # DEBUG BEGIN_STMT
  if (bitExists_12(D) == 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 44291850]:
  # DEBUG BEGIN_STMT
  # DEBUG mask => 2

  <bb 6> [local count: 134217728]:
  # mask_6 = PHI <0(3), 0(4), 2(5)>
  # channelIndex_7 = PHI <channelIndex_13(3), channelNum_10(D)(4), channelNum_10(D)(5)>
  # DEBUG channelIndex => channelIndex_7
  # DEBUG mask => mask_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG i => 0
  goto <bb 8>; [100.00%]

  <bb 7> [local count: 939524097]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_15(D);
  _2 = pitBase[_1];
  _3 = (int) i_8;
  _2->TIMER[_3].TCTRL ={v} 0;
  # DEBUG BEGIN_STMT
  _2->TIMER[_3].LDVAL ={v} 0;
  # DEBUG BEGIN_STMT
  _2->TIMER[_3].TFLG ={v} 1;
  # DEBUG BEGIN_STMT
  i_20 = i_8 + 1;
  # DEBUG i => i_20

  <bb 8> [local count: 1073741824]:
  # i_8 = PHI <0(6), i_20(7)>
  # DEBUG i => i_8
  # DEBUG BEGIN_STMT
  if (channelIndex_7 > i_8)
    goto <bb 7>; [87.50%]
  else
    goto <bb 9>; [12.50%]

  <bb 9> [local count: 134217728]:
  # DEBUG BEGIN_STMT
  _4 = (int) instance_15(D);
  _5 = pitBase[_4];
  _5->MCR ={v} mask_6;
  return;

}


Pit_Ip_SetChainMode (uint8 instance, uint8 channel, boolean enable)
{
  int _1;
  struct PIT_Type * _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  int _6;
  struct PIT_Type * _7;
  int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_01 ();
  # DEBUG BEGIN_STMT
  if (enable_14(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 5>; [66.00%]

  <bb 3> [local count: 365072220]:
  if (channel_15(D) != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_16(D);
  _2 = pitBase[_1];
  _3 = (int) channel_15(D);
  _4 ={v} _2->TIMER[_3].TCTRL;
  _5 = _4 | 4;
  _2->TIMER[_3].TCTRL ={v} _5;
  goto <bb 6>; [100.00%]

  <bb 5> [local count: 891205715]:
  # DEBUG BEGIN_STMT
  _6 = (int) instance_16(D);
  _7 = pitBase[_6];
  _8 = (int) channel_15(D);
  _9 ={v} _7->TIMER[_8].TCTRL;
  _10 = _9 & 4294967291;
  _7->TIMER[_8].TCTRL ={v} _10;

  <bb 6> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_01 ();
  return;

}


Pit_Ip_SetDebugMode (uint8 instance, boolean stopRun)
{
  int _1;
  struct PIT_Type * _2;
  long unsigned int _3;
  long unsigned int _4;
  int _5;
  struct PIT_Type * _6;
  long unsigned int _7;
  long unsigned int _8;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (stopRun_10(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_11(D);
  _2 = pitBase[_1];
  _3 ={v} _2->MCR;
  _4 = _3 | 1;
  _2->MCR ={v} _4;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  _5 = (int) instance_11(D);
  _6 = pitBase[_5];
  _7 ={v} _6->MCR;
  _8 = _7 & 4294967294;
  _6->MCR ={v} _8;

  <bb 5> [local count: 1073741824]:
  return;

}


Pit_Ip_EnableTimer (uint8 instance, uint8 channel, boolean enable)
{
  int _1;
  struct PIT_Type * _2;
  int _3;
  long unsigned int _4;
  long unsigned int _5;
  int _6;
  struct PIT_Type * _7;
  int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Enter_Gpt_GPT_EXCLUSIVE_AREA_00 ();
  # DEBUG BEGIN_STMT
  if (enable_14(D) == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_15(D);
  _2 = pitBase[_1];
  _3 = (int) channel_16(D);
  _4 ={v} _2->TIMER[_3].TCTRL;
  _5 = _4 | 1;
  _2->TIMER[_3].TCTRL ={v} _5;
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  _6 = (int) instance_15(D);
  _7 = pitBase[_6];
  _8 = (int) channel_16(D);
  _9 ={v} _7->TIMER[_8].TCTRL;
  _10 = _9 & 4294967294;
  _7->TIMER[_8].TCTRL ={v} _10;

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  SchM_Exit_Gpt_GPT_EXCLUSIVE_AREA_00 ();
  return;

}


Pit_Ip_EnableModule (uint8 instance, uint8 timerType)
{
  int _1;
  struct PIT_Type * _2;
  long unsigned int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (timerType_6(D) == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (int) instance_8(D);
  _2 = pitBase[_1];
  _3 ={v} _2->MCR;
  _4 = _3 & 4294967293;
  _2->MCR ={v} _4;

  <bb 4> [local count: 1073741824]:
  return;

}


Pit_Ip_GetInterruptFlags (uint8 instance, uint8 channel)
{
  uint32 returnFlag;
  int _1;
  struct PIT_Type * _2;
  int _3;
  long unsigned int _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG returnFlag => 0
  # DEBUG BEGIN_STMT
  _1 = (int) instance_5(D);
  _2 = pitBase[_1];
  _3 = (int) channel_7(D);
  _4 ={v} _2->TIMER[_3].TFLG;
  returnFlag_8 = _4 & 1;
  # DEBUG returnFlag => returnFlag_8
  # DEBUG BEGIN_STMT
  return returnFlag_8;

}


Pit_Ip_GetLoadValue (uint8 instance, uint8 channel)
{
  uint32 periodValue;
  int _1;
  struct PIT_Type * _2;
  int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG periodValue => 0
  # DEBUG BEGIN_STMT
  _1 = (int) instance_4(D);
  _2 = pitBase[_1];
  _3 = (int) channel_6(D);
  periodValue_7 ={v} _2->TIMER[_3].LDVAL;
  # DEBUG periodValue => periodValue_7
  # DEBUG BEGIN_STMT
  return periodValue_7;

}


DevAssert (volatile boolean x)
{
  unsigned char x.0_1;

  <bb 2> [local count: 214748]:
  # DEBUG BEGIN_STMT
  x.0_1 ={v} x;
  if (x.0_1 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 5> [local count: 107374]:

  <bb 3> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("BKPT #0");
  # DEBUG BEGIN_STMT

  <bb 6> [local count: 1073741824]:
  goto <bb 3>; [100.00%]

  <bb 4> [local count: 107374]:
  # DEBUG BEGIN_STMT
  return;

}


