Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: g_pin_mux_InitConfigArr_VS_0/7 (g_pin_mux_InitConfigArr_VS_0) @05f1ad38 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: Port_Config/6 (addr) Availability: not_available Varpool flags: read-only Port_Config/6 (Port_Config) @05f1ac18 Type: variable definition analyzed Visibility: externally_visible public References: Port_au16NoUnUsedPadsArrayDefault_VS_0/3 (addr)Port_UnUsedPin_VS_0/4 (addr)Port_aPinConfigDefault_VS_0/5 (addr)au32Port_PinToPartitionMap_VS_0/2 (addr)au8Port_PartitionList_VS_0/1 (addr)g_pin_mux_InitConfigArr_VS_0/7 (addr) Referring: Availability: available Varpool flags: initialized read-only const-value-known Port_aPinConfigDefault_VS_0/5 (Port_aPinConfigDefault_VS_0) @05f1aaf8 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Port_Config/6 (addr) Availability: available Varpool flags: initialized read-only const-value-known Port_UnUsedPin_VS_0/4 (Port_UnUsedPin_VS_0) @05f1a678 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Port_Config/6 (addr) Availability: available Varpool flags: initialized read-only const-value-known Port_au16NoUnUsedPadsArrayDefault_VS_0/3 (Port_au16NoUnUsedPadsArrayDefault_VS_0) @05f1a5e8 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Port_Config/6 (addr) Availability: available Varpool flags: initialized read-only const-value-known au32Port_PinToPartitionMap_VS_0/2 (au32Port_PinToPartitionMap_VS_0) @05f1a510 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Port_Config/6 (addr) Availability: available Varpool flags: initialized read-only const-value-known au8Port_PartitionList_VS_0/1 (au8Port_PartitionList_VS_0) @05f1a3f0 Type: variable definition analyzed Visibility: prevailing_def_ironly References: Referring: Port_Config/6 (addr) Availability: available Varpool flags: initialized read-only const-value-known