
Marking local functions:


Marking externally visible functions: pfe_parity_cfg_irq_unmask_all pfe_parity_cfg_irq_unmask pfe_parity_cfg_irq_mask pfe_parity_cfg_isr


Marking externally visible variables:


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

pfe_hm_report/26 (pfe_hm_report) @075cb9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_cfg_isr/21 
  Calls: 
event_id.10653/25 (event_id) @075ce4c8
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: pfe_parity_cfg_isr/21 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
pfe_parity_cfg_irq_unmask_all/24 (pfe_parity_cfg_irq_unmask_all) @075cb540
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
pfe_parity_cfg_irq_unmask/23 (pfe_parity_cfg_irq_unmask) @075cb2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
pfe_parity_cfg_irq_mask/22 (pfe_parity_cfg_irq_mask) @075c2ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
pfe_parity_cfg_isr/21 (pfe_parity_cfg_isr) @075c2e00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: event_id.10653/25 (read)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: pfe_hm_report/26 
pfe_parity_cfg_irq_unmask_all (addr_t base_va)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 80;
  _2 = (volatile uint32_t *) _1;
  *_2 = 4294967295;
  # DEBUG BEGIN_STMT
  return;

}


pfe_parity_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 80;
  _2 = (volatile uint32_t *) _1;
  _3 = *_2;
  reg = _3 | 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va + 80;
  _5 = (volatile uint32_t *) _4;
  *_5 = reg;
  # DEBUG BEGIN_STMT
  return;

}


pfe_parity_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 80;
  _2 = (volatile uint32_t *) _1;
  _3 = *_2;
  reg = _3 & 4294967294;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va + 80;
  _5 = (volatile uint32_t *) _4;
  *_5 = reg;
  # DEBUG BEGIN_STMT
  return;

}


pfe_parity_cfg_isr (addr_t base_va)
{
  static const pfe_hm_evt_t event_id[31] = {100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130};
  uint8_t index;
  uint32_t trig_en_interrupts;
  errno_t ret;
  uint32_t reg_src;
  uint32_t reg_en;
  errno_t D.10676;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret = 2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  index = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 80;
  _2 = (volatile uint32_t *) _1;
  reg_en = *_2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va + 80;
  _4 = (volatile uint32_t *) _3;
  _5 = reg_en & 4294967294;
  *_4 = _5;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = base_va + 76;
  _7 = (volatile uint32_t *) _6;
  reg_src = *_7;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _8 = base_va + 76;
  _9 = (volatile uint32_t *) _8;
  *_9 = reg_src;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _10 = reg_src & reg_en;
  trig_en_interrupts = _10 & 4294967294;
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  trig_en_interrupts = trig_en_interrupts >> 1;
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _11 = trig_en_interrupts & 1;
  if (_11 != 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _12 = (int) index;
  _13 = event_id[_12];
  pfe_hm_report (6, 2, _13, "");

  <bb 6> :
  # DEBUG BEGIN_STMT
  trig_en_interrupts = trig_en_interrupts >> 1;
  # DEBUG BEGIN_STMT
  index.0_14 = index;
  index = index.0_14 + 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  ret = 0;

  <bb 9> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _15 = ~reg_src;
  _16 = base_va + 80;
  _17 = (volatile uint32_t *) _16;
  _18 = reg_en & _15;
  *_17 = _18;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.10676 = ret;
  return D.10676;

}


