Trivially needed symbols: SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01 SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00 Dio_schm_read_msr reentry_guard_DIO_EXCLUSIVE_AREA_01 msr_DIO_EXCLUSIVE_AREA_01 reentry_guard_DIO_EXCLUSIVE_AREA_00 msr_DIO_EXCLUSIVE_AREA_00


Initial Symbol table:

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  Aux: @01733ea0
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  Aux: @06bc2c40
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)msr_DIO_EXCLUSIVE_AREA_01/2 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  Aux: @06bc29a0
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  Aux: @06bc2700
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)msr_DIO_EXCLUSIVE_AREA_00/0 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  Aux: @06bc2460
  References: 
  Referring: 
  Function flags: body
  Called by: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  Aux: @06bc21c0
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  Aux: @06bbf948
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  Aux: @06bbf8b8
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  Aux: @06bbf828
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:

Removing unused symbols:

Reclaimed Symbol table:

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)msr_DIO_EXCLUSIVE_AREA_01/2 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)msr_DIO_EXCLUSIVE_AREA_00/0 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: 
  Referring: 
  Function flags: body
  Called by: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:


Initial Symbol table:

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)msr_DIO_EXCLUSIVE_AREA_01/2 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)msr_DIO_EXCLUSIVE_AREA_00/0 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: 
  Referring: 
  Function flags: body
  Called by: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:

Removing unused symbols:

Reclaimed Symbol table:

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)msr_DIO_EXCLUSIVE_AREA_01/2 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)
  Referring: 
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)msr_DIO_EXCLUSIVE_AREA_00/0 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)
  Referring: 
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output no_reorder public
  References: 
  Referring: 
  Function flags: body
  Called by: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: not-ready
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: not-ready
  Varpool flags:

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

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)msr_DIO_EXCLUSIVE_AREA_01/2 (write)msr_DIO_EXCLUSIVE_AREA_01/2 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (read)reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)msr_DIO_EXCLUSIVE_AREA_00/0 (write)msr_DIO_EXCLUSIVE_AREA_00/0 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (read)reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Dio_schm_read_msr/4 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: available
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (read)
  Availability: available
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: available
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (read)SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (write)SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (read)
  Availability: available
  Varpool flags:
Materializing clones
Materialization Call site updates done.

Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Trivially needed variables: reentry_guard_DIO_EXCLUSIVE_AREA_01 msr_DIO_EXCLUSIVE_AREA_01 reentry_guard_DIO_EXCLUSIVE_AREA_00 msr_DIO_EXCLUSIVE_AREA_00
Removing variables:

Final Symbol table:

SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01/8 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_01) @06bc2c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder asm_written public
  References: 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01/7 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_01) @06bc29a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder asm_written public
  References: 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00/6 (SchM_Exit_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder asm_written public
  References: 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00/5 (SchM_Enter_Dio_DIO_EXCLUSIVE_AREA_00) @06bc2460
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder asm_written public
  References: 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
Dio_schm_read_msr/4 (Dio_schm_read_msr) @06bc21c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder asm_written public
  References: 
  Referring: 
  Availability: available
  Function flags:
  Called by: 
  Calls: 
reentry_guard_DIO_EXCLUSIVE_AREA_01/3 (reentry_guard_DIO_EXCLUSIVE_AREA_01) @06bbf948
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly asm_written
  Aux: @00000001
  References: 
  Referring: 
  Availability: available
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_01/2 (msr_DIO_EXCLUSIVE_AREA_01) @06bbf8b8
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly asm_written
  Aux: @06bbf948
  References: 
  Referring: 
  Availability: available
  Varpool flags:
reentry_guard_DIO_EXCLUSIVE_AREA_00/1 (reentry_guard_DIO_EXCLUSIVE_AREA_00) @06bbf828
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly asm_written
  Aux: @06bbf8b8
  References: 
  Referring: 
  Availability: available
  Varpool flags:
msr_DIO_EXCLUSIVE_AREA_00/0 (msr_DIO_EXCLUSIVE_AREA_00) @06bbf798
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly asm_written
  Aux: @06bbf828
  References: 
  Referring: 
  Availability: available
  Varpool flags:
