
Marking local functions:


Marking externally visible functions: pfe_parity_irq_unmask pfe_parity_irq_mask pfe_parity_isr pfe_parity_destroy pfe_parity_create


Marking externally visible variables:


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

pfe_parity_cfg_irq_unmask/31 (pfe_parity_cfg_irq_unmask) @07555000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_irq_unmask/26 
  Calls: 
pfe_parity_cfg_isr/30 (pfe_parity_cfg_isr) @07555d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_isr/24 
  Calls: 
pfe_parity_cfg_irq_mask/29 (pfe_parity_cfg_irq_mask) @07555b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_irq_mask/25 pfe_parity_destroy/23 
  Calls: 
pfe_parity_cfg_irq_unmask_all/28 (pfe_parity_cfg_irq_unmask_all) @075559a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_create/22 
  Calls: 
memset/27 (memset) @075558c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_parity_create/22 
  Calls: 
pfe_parity_irq_unmask/26 (pfe_parity_irq_unmask) @07555460
  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/31 
pfe_parity_irq_mask/25 (pfe_parity_irq_mask) @075551c0
  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/29 
pfe_parity_isr/24 (pfe_parity_isr) @06df6d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: pfe_parity_cfg_isr/30 
pfe_parity_destroy/23 (pfe_parity_destroy) @06df6ee0
  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/29 
pfe_parity_create/22 (pfe_parity_create) @06df6c40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: parity_instance/21 (addr)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: pfe_parity_cfg_irq_unmask_all/28 memset/27 
parity_instance/21 (parity_instance) @06df5438
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: pfe_parity_create/22 (addr)
  Availability: available
  Varpool flags:
pfe_parity_irq_unmask (const struct pfe_parity_t * parity)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = parity->parity_base_va;
  pfe_parity_cfg_irq_unmask (_1);
  return;

}


pfe_parity_irq_mask (const struct pfe_parity_t * parity)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = parity->parity_base_va;
  pfe_parity_cfg_irq_mask (_1);
  return;

}


pfe_parity_isr (const struct pfe_parity_t * parity)
{
  errno_t ret;
  errno_t D.10520;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret = 2;
  # DEBUG BEGIN_STMT
  _1 = parity->parity_base_va;
  ret = pfe_parity_cfg_isr (_1);
  # DEBUG BEGIN_STMT
  D.10520 = ret;
  return D.10520;

}


pfe_parity_destroy (struct pfe_parity_t * parity)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = parity->parity_base_va;
  pfe_parity_cfg_irq_mask (_1);
  return;

}


pfe_parity_create (addr_t cbus_base_va, addr_t parity_base)
{
  struct pfe_parity_t * parity;
  struct pfe_parity_t * D.10518;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  parity = &parity_instance;
  # DEBUG BEGIN_STMT
  memset (parity, 0, 12);
  # DEBUG BEGIN_STMT
  parity->cbus_base_va = cbus_base_va;
  # DEBUG BEGIN_STMT
  parity->parity_base_offset = parity_base;
  # DEBUG BEGIN_STMT
  _1 = parity->cbus_base_va;
  _2 = parity->parity_base_offset;
  _3 = _1 + _2;
  parity->parity_base_va = _3;
  # DEBUG BEGIN_STMT
  _4 = parity->parity_base_va;
  pfe_parity_cfg_irq_unmask_all (_4);
  # DEBUG BEGIN_STMT
  D.10518 = parity;
  return D.10518;

}


