IPA summary for Flexio_Mcl_Ip_Init/20 is missing. IPA summary for Flexio_Mcl_Ip_SetTimerInterrupt/19 is missing. IPA summary for Flexio_Mcl_Ip_GetAllTimerInterrupt/18 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterDMARequest/17 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterInterrupt/16 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterErrorInterrupt/15 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterErrorInterrupt/14 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterInterrupt/13 is missing. IPA summary for Flexio_Mcl_Ip_ClearTimerStatus/12 is missing. IPA summary for Flexio_Mcl_Ip_GetAllTimerStatus/11 is missing. IPA summary for Flexio_Mcl_Ip_GetTimerInterruptEnable/10 is missing. IPA summary for Flexio_Mcl_Ip_GetTimerStatus/9 is missing. IPA summary for Flexio_Mcl_Ip_ClearShifterErrorStatus/8 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterErrorStatus/7 is missing. IPA summary for Flexio_Mcl_Ip_GetShifterErrorStatus/6 is missing. IPA summary for Flexio_Mcl_Ip_ClearShifterStatus/5 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterStatus/4 is missing. IPA summary for Flexio_Mcl_Ip_GetShifterStatus/3 is missing. IPA summary for Flexio_Mcl_Ip_SetEnable/2 is missing. IPA summary for Flexio_Mcl_Ip_SetDebugEnable/1 is missing. IPA summary for Flexio_Mcl_Ip_SetSoftwareReset/0 is missing. Flattening functions: Overall time estimate: 0.000000 weighted by profile: 0.000000 Deciding on inlining of small functions. Starting with size 0. Reclaiming functions: Reclaiming variables: Clearing address taken flags: Deciding on functions to be inlined into all callers and removing useless speculations: Overall time estimate: 0.000000 weighted by profile: 0.000000 Why inlining failed? function not considered for inlining : 1 calls, 1.000000 freq, 0 count function body not available : 14 calls, 14.000000 freq, 0 count IPA summary for Flexio_Mcl_Ip_Init/20 is missing. IPA summary for Flexio_Mcl_Ip_SetTimerInterrupt/19 is missing. IPA summary for Flexio_Mcl_Ip_GetAllTimerInterrupt/18 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterDMARequest/17 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterInterrupt/16 is missing. IPA summary for Flexio_Mcl_Ip_SetShifterErrorInterrupt/15 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterErrorInterrupt/14 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterInterrupt/13 is missing. IPA summary for Flexio_Mcl_Ip_ClearTimerStatus/12 is missing. IPA summary for Flexio_Mcl_Ip_GetAllTimerStatus/11 is missing. IPA summary for Flexio_Mcl_Ip_GetTimerInterruptEnable/10 is missing. IPA summary for Flexio_Mcl_Ip_GetTimerStatus/9 is missing. IPA summary for Flexio_Mcl_Ip_ClearShifterErrorStatus/8 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterErrorStatus/7 is missing. IPA summary for Flexio_Mcl_Ip_GetShifterErrorStatus/6 is missing. IPA summary for Flexio_Mcl_Ip_ClearShifterStatus/5 is missing. IPA summary for Flexio_Mcl_Ip_GetAllShifterStatus/4 is missing. IPA summary for Flexio_Mcl_Ip_GetShifterStatus/3 is missing. IPA summary for Flexio_Mcl_Ip_SetEnable/2 is missing. IPA summary for Flexio_Mcl_Ip_SetDebugEnable/1 is missing. IPA summary for Flexio_Mcl_Ip_SetSoftwareReset/0 is missing. Symbol table: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_45/34 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_45) @06d151c0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetTimerInterrupt/19 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_45/33 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_45) @06d150e0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetTimerInterrupt/19 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_44/32 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_44) @06c48e00 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterDMARequest/17 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_44/31 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_44) @06c48d20 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterDMARequest/17 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_43/30 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_43) @06c48b60 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterInterrupt/16 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_43/29 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_43) @06c48a80 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterInterrupt/16 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_42/28 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_42) @06c488c0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterErrorInterrupt/15 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_42/27 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_42) @06c487e0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetShifterErrorInterrupt/15 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_41/26 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_41) @06c41c40 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetEnable/2 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_41/25 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_41) @06c41b60 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetEnable/2 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_40/24 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_40) @06c419a0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetDebugEnable/1 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_40/23 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_40) @06c418c0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetDebugEnable/1 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_39/22 (SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_39) @06c41700 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetSoftwareReset/0 Calls: SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_39/21 (SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_39) @06c41620 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: Called by: Flexio_Mcl_Ip_SetSoftwareReset/0 Calls: Flexio_Mcl_Ip_Init/20 (Flexio_Mcl_Ip_Init) @06c411c0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_SetSoftwareReset/0 Flexio_Mcl_Ip_SetTimerInterrupt/19 (Flexio_Mcl_Ip_SetTimerInterrupt) @06be8d20 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_45/34 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_45/33 Flexio_Mcl_Ip_GetAllTimerInterrupt/18 (Flexio_Mcl_Ip_GetAllTimerInterrupt) @06be87e0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_SetShifterDMARequest/17 (Flexio_Mcl_Ip_SetShifterDMARequest) @06be82a0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_44/32 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_44/31 Flexio_Mcl_Ip_SetShifterInterrupt/16 (Flexio_Mcl_Ip_SetShifterInterrupt) @06be8ee0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_43/30 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_43/29 Flexio_Mcl_Ip_SetShifterErrorInterrupt/15 (Flexio_Mcl_Ip_SetShifterErrorInterrupt) @06be8c40 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_42/28 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_42/27 Flexio_Mcl_Ip_GetAllShifterErrorInterrupt/14 (Flexio_Mcl_Ip_GetAllShifterErrorInterrupt) @06be89a0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetAllShifterInterrupt/13 (Flexio_Mcl_Ip_GetAllShifterInterrupt) @06be8700 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_ClearTimerStatus/12 (Flexio_Mcl_Ip_ClearTimerStatus) @06be8460 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetAllTimerStatus/11 (Flexio_Mcl_Ip_GetAllTimerStatus) @06be81c0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetTimerInterruptEnable/10 (Flexio_Mcl_Ip_GetTimerInterruptEnable) @06be6d20 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetTimerStatus/9 (Flexio_Mcl_Ip_GetTimerStatus) @06be67e0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_ClearShifterErrorStatus/8 (Flexio_Mcl_Ip_ClearShifterErrorStatus) @06be62a0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetAllShifterErrorStatus/7 (Flexio_Mcl_Ip_GetAllShifterErrorStatus) @06be6ee0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetShifterErrorStatus/6 (Flexio_Mcl_Ip_GetShifterErrorStatus) @06be6c40 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_ClearShifterStatus/5 (Flexio_Mcl_Ip_ClearShifterStatus) @06be69a0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetAllShifterStatus/4 (Flexio_Mcl_Ip_GetAllShifterStatus) @06be6700 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_GetShifterStatus/3 (Flexio_Mcl_Ip_GetShifterStatus) @06be6460 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: Flexio_Mcl_Ip_SetEnable/2 (Flexio_Mcl_Ip_SetEnable) @06be61c0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_41/26 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_41/25 Flexio_Mcl_Ip_SetDebugEnable/1 (Flexio_Mcl_Ip_SetDebugEnable) @06be2ee0 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_40/24 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_40/23 Flexio_Mcl_Ip_SetSoftwareReset/0 (Flexio_Mcl_Ip_SetSoftwareReset) @06be2e00 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Flexio_Mcl_Ip_Init/20 Calls: SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_39/22 SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_39/21 ;; Function Flexio_Mcl_Ip_SetSoftwareReset (Flexio_Mcl_Ip_SetSoftwareReset, funcdef_no=0, decl_uid=5665, cgraph_uid=1, symbol_order=0) Flexio_Mcl_Ip_SetSoftwareReset (struct FLEXIO_Type * baseAddr, boolean enable) { uint32 regValue; long unsigned int iftmp.0; long unsigned int iftmp.0_1; long unsigned int iftmp.0_8; long unsigned int iftmp.0_9; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_39 (); regValue_5 ={v} baseAddr_4(D)->CTRL; regValue_6 = regValue_5 & 4294967293; if (enable_7(D) != 0) goto ; [INV] else goto ; [INV] : iftmp.0_9 = 2; goto ; [INV] : iftmp.0_8 = 0; : # iftmp.0_1 = PHI regValue_10 = iftmp.0_1 | regValue_6; baseAddr_4(D)->CTRL ={v} regValue_10; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_39 (); return; } ;; Function Flexio_Mcl_Ip_SetDebugEnable (Flexio_Mcl_Ip_SetDebugEnable, funcdef_no=1, decl_uid=5668, cgraph_uid=2, symbol_order=1) Flexio_Mcl_Ip_SetDebugEnable (struct FLEXIO_Type * baseAddr, boolean enable) { uint32 regValue; long unsigned int iftmp.1; long unsigned int iftmp.1_1; long unsigned int iftmp.1_8; long unsigned int iftmp.1_9; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_40 (); regValue_5 ={v} baseAddr_4(D)->CTRL; regValue_6 = regValue_5 & 3221225471; if (enable_7(D) != 0) goto ; [INV] else goto ; [INV] : iftmp.1_9 = 1073741824; goto ; [INV] : iftmp.1_8 = 0; : # iftmp.1_1 = PHI regValue_10 = iftmp.1_1 | regValue_6; baseAddr_4(D)->CTRL ={v} regValue_10; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_40 (); return; } ;; Function Flexio_Mcl_Ip_SetEnable (Flexio_Mcl_Ip_SetEnable, funcdef_no=2, decl_uid=5671, cgraph_uid=3, symbol_order=2) Flexio_Mcl_Ip_SetEnable (struct FLEXIO_Type * baseAddr, boolean enable) { uint32 regValue; long unsigned int iftmp.2; long unsigned int iftmp.2_1; long unsigned int iftmp.2_8; long unsigned int iftmp.2_9; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_41 (); regValue_5 ={v} baseAddr_4(D)->CTRL; regValue_6 = regValue_5 & 4294967294; if (enable_7(D) != 0) goto ; [INV] else goto ; [INV] : iftmp.2_9 = 1; goto ; [INV] : iftmp.2_8 = 0; : # iftmp.2_1 = PHI regValue_10 = iftmp.2_1 | regValue_6; baseAddr_4(D)->CTRL ={v} regValue_10; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_41 (); return; } ;; Function Flexio_Mcl_Ip_GetShifterStatus (Flexio_Mcl_Ip_GetShifterStatus, funcdef_no=3, decl_uid=5674, cgraph_uid=4, symbol_order=3) Flexio_Mcl_Ip_GetShifterStatus (const struct FLEXIO_Type * baseAddr, uint8 shifter) { boolean D.6015; long unsigned int _1; int _2; long unsigned int _3; long unsigned int _4; boolean _8; : _1 ={v} baseAddr_6(D)->SHIFTSTAT; _2 = (int) shifter_7(D); _3 = _1 >> _2; _4 = _3 & 1; _8 = _4 != 0; : : return _8; } ;; Function Flexio_Mcl_Ip_GetAllShifterStatus (Flexio_Mcl_Ip_GetAllShifterStatus, funcdef_no=4, decl_uid=5676, cgraph_uid=5, symbol_order=4) Flexio_Mcl_Ip_GetAllShifterStatus (const struct FLEXIO_Type * baseAddr) { uint32 D.6017; uint32 _3; : _3 ={v} baseAddr_2(D)->SHIFTSTAT; : : return _3; } ;; Function Flexio_Mcl_Ip_ClearShifterStatus (Flexio_Mcl_Ip_ClearShifterStatus, funcdef_no=5, decl_uid=5679, cgraph_uid=6, symbol_order=5) Flexio_Mcl_Ip_ClearShifterStatus (struct FLEXIO_Type * baseAddr, uint8 shifter) { int _1; long unsigned int _2; : _1 = (int) shifter_3(D); _2 = 1 << _1; baseAddr_5(D)->SHIFTSTAT ={v} _2; return; } ;; Function Flexio_Mcl_Ip_GetShifterErrorStatus (Flexio_Mcl_Ip_GetShifterErrorStatus, funcdef_no=6, decl_uid=5682, cgraph_uid=7, symbol_order=6) Flexio_Mcl_Ip_GetShifterErrorStatus (const struct FLEXIO_Type * baseAddr, uint8 shifter) { boolean D.6019; long unsigned int _1; int _2; long unsigned int _3; long unsigned int _4; boolean _8; : _1 ={v} baseAddr_6(D)->SHIFTERR; _2 = (int) shifter_7(D); _3 = _1 >> _2; _4 = _3 & 1; _8 = _4 != 0; : : return _8; } ;; Function Flexio_Mcl_Ip_GetAllShifterErrorStatus (Flexio_Mcl_Ip_GetAllShifterErrorStatus, funcdef_no=7, decl_uid=5684, cgraph_uid=8, symbol_order=7) Flexio_Mcl_Ip_GetAllShifterErrorStatus (const struct FLEXIO_Type * baseAddr) { uint32 D.6021; uint32 _3; : _3 ={v} baseAddr_2(D)->SHIFTERR; : : return _3; } ;; Function Flexio_Mcl_Ip_ClearShifterErrorStatus (Flexio_Mcl_Ip_ClearShifterErrorStatus, funcdef_no=8, decl_uid=5687, cgraph_uid=9, symbol_order=8) Flexio_Mcl_Ip_ClearShifterErrorStatus (struct FLEXIO_Type * baseAddr, uint8 shifter) { int _1; long unsigned int _2; : _1 = (int) shifter_3(D); _2 = 1 << _1; baseAddr_5(D)->SHIFTERR ={v} _2; return; } ;; Function Flexio_Mcl_Ip_GetTimerStatus (Flexio_Mcl_Ip_GetTimerStatus, funcdef_no=9, decl_uid=5690, cgraph_uid=10, symbol_order=9) Flexio_Mcl_Ip_GetTimerStatus (const struct FLEXIO_Type * baseAddr, uint8 timer) { boolean D.6023; long unsigned int _1; int _2; long unsigned int _3; long unsigned int _4; boolean _8; : _1 ={v} baseAddr_6(D)->TIMSTAT; _2 = (int) timer_7(D); _3 = _1 >> _2; _4 = _3 & 1; _8 = _4 != 0; : : return _8; } ;; Function Flexio_Mcl_Ip_GetTimerInterruptEnable (Flexio_Mcl_Ip_GetTimerInterruptEnable, funcdef_no=10, decl_uid=5693, cgraph_uid=11, symbol_order=10) Flexio_Mcl_Ip_GetTimerInterruptEnable (const struct FLEXIO_Type * baseAddr, uint8 timer) { boolean D.6025; long unsigned int _1; int _2; long unsigned int _3; long unsigned int _4; boolean _8; : _1 ={v} baseAddr_6(D)->TIMIEN; _2 = (int) timer_7(D); _3 = _1 >> _2; _4 = _3 & 1; _8 = _4 != 0; : : return _8; } ;; Function Flexio_Mcl_Ip_GetAllTimerStatus (Flexio_Mcl_Ip_GetAllTimerStatus, funcdef_no=11, decl_uid=5695, cgraph_uid=12, symbol_order=11) Flexio_Mcl_Ip_GetAllTimerStatus (const struct FLEXIO_Type * baseAddr) { uint32 D.6027; uint32 _3; : _3 ={v} baseAddr_2(D)->TIMSTAT; : : return _3; } ;; Function Flexio_Mcl_Ip_ClearTimerStatus (Flexio_Mcl_Ip_ClearTimerStatus, funcdef_no=12, decl_uid=5698, cgraph_uid=13, symbol_order=12) Flexio_Mcl_Ip_ClearTimerStatus (struct FLEXIO_Type * baseAddr, uint8 timer) { int _1; long unsigned int _2; : _1 = (int) timer_3(D); _2 = 1 << _1; baseAddr_5(D)->TIMSTAT ={v} _2; return; } ;; Function Flexio_Mcl_Ip_GetAllShifterInterrupt (Flexio_Mcl_Ip_GetAllShifterInterrupt, funcdef_no=13, decl_uid=5700, cgraph_uid=14, symbol_order=13) Flexio_Mcl_Ip_GetAllShifterInterrupt (const struct FLEXIO_Type * baseAddr) { uint32 D.6029; uint32 _3; : _3 ={v} baseAddr_2(D)->SHIFTSIEN; : : return _3; } ;; Function Flexio_Mcl_Ip_GetAllShifterErrorInterrupt (Flexio_Mcl_Ip_GetAllShifterErrorInterrupt, funcdef_no=14, decl_uid=5702, cgraph_uid=15, symbol_order=14) Flexio_Mcl_Ip_GetAllShifterErrorInterrupt (const struct FLEXIO_Type * baseAddr) { uint32 D.6031; uint32 _3; : _3 ={v} baseAddr_2(D)->SHIFTEIEN; : : return _3; } ;; Function Flexio_Mcl_Ip_SetShifterErrorInterrupt (Flexio_Mcl_Ip_SetShifterErrorInterrupt, funcdef_no=15, decl_uid=5706, cgraph_uid=16, symbol_order=15) Flexio_Mcl_Ip_SetShifterErrorInterrupt (struct FLEXIO_Type * baseAddr, uint8 interruptMask, boolean enable) { uint32 tmp; long unsigned int _1; long unsigned int _2; long unsigned int _3; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_42 (); tmp_8 ={v} baseAddr_7(D)->SHIFTEIEN; if (enable_9(D) != 0) goto ; [INV] else goto ; [INV] : _1 = (long unsigned int) interruptMask_10(D); tmp_12 = tmp_8 | _1; goto ; [INV] : _2 = (long unsigned int) interruptMask_10(D); _3 = ~_2; tmp_11 = tmp_8 & _3; : # tmp_4 = PHI baseAddr_7(D)->SHIFTEIEN ={v} tmp_4; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_42 (); return; } ;; Function Flexio_Mcl_Ip_SetShifterInterrupt (Flexio_Mcl_Ip_SetShifterInterrupt, funcdef_no=16, decl_uid=5710, cgraph_uid=17, symbol_order=16) Flexio_Mcl_Ip_SetShifterInterrupt (struct FLEXIO_Type * baseAddr, uint8 interruptMask, boolean enable) { uint32 tmp; long unsigned int _1; long unsigned int _2; long unsigned int _3; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_43 (); tmp_8 ={v} baseAddr_7(D)->SHIFTSIEN; if (enable_9(D) != 0) goto ; [INV] else goto ; [INV] : _1 = (long unsigned int) interruptMask_10(D); tmp_12 = tmp_8 | _1; goto ; [INV] : _2 = (long unsigned int) interruptMask_10(D); _3 = ~_2; tmp_11 = tmp_8 & _3; : # tmp_4 = PHI baseAddr_7(D)->SHIFTSIEN ={v} tmp_4; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_43 (); return; } ;; Function Flexio_Mcl_Ip_SetShifterDMARequest (Flexio_Mcl_Ip_SetShifterDMARequest, funcdef_no=17, decl_uid=5714, cgraph_uid=18, symbol_order=17) Flexio_Mcl_Ip_SetShifterDMARequest (struct FLEXIO_Type * baseAddr, uint8 requestMask, boolean enable) { uint32 tmp; long unsigned int _1; long unsigned int _2; long unsigned int _3; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_44 (); tmp_8 ={v} baseAddr_7(D)->SHIFTSDEN; if (enable_9(D) != 0) goto ; [INV] else goto ; [INV] : _1 = (long unsigned int) requestMask_10(D); tmp_12 = tmp_8 | _1; goto ; [INV] : _2 = (long unsigned int) requestMask_10(D); _3 = ~_2; tmp_11 = tmp_8 & _3; : # tmp_4 = PHI baseAddr_7(D)->SHIFTSDEN ={v} tmp_4; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_44 (); return; } ;; Function Flexio_Mcl_Ip_GetAllTimerInterrupt (Flexio_Mcl_Ip_GetAllTimerInterrupt, funcdef_no=18, decl_uid=5716, cgraph_uid=19, symbol_order=18) Flexio_Mcl_Ip_GetAllTimerInterrupt (const struct FLEXIO_Type * baseAddr) { uint32 D.6042; uint32 _3; : _3 ={v} baseAddr_2(D)->TIMIEN; : : return _3; } ;; Function Flexio_Mcl_Ip_SetTimerInterrupt (Flexio_Mcl_Ip_SetTimerInterrupt, funcdef_no=19, decl_uid=5720, cgraph_uid=20, symbol_order=19) Flexio_Mcl_Ip_SetTimerInterrupt (struct FLEXIO_Type * baseAddr, uint8 interruptMask, boolean enable) { uint32 tmp; long unsigned int _1; long unsigned int _2; long unsigned int _3; : SchM_Enter_Mcl_MCL_EXCLUSIVE_AREA_45 (); tmp_8 ={v} baseAddr_7(D)->TIMIEN; if (enable_9(D) != 0) goto ; [INV] else goto ; [INV] : _1 = (long unsigned int) interruptMask_10(D); tmp_12 = tmp_8 | _1; goto ; [INV] : _2 = (long unsigned int) interruptMask_10(D); _3 = ~_2; tmp_11 = tmp_8 & _3; : # tmp_4 = PHI baseAddr_7(D)->TIMIEN ={v} tmp_4; SchM_Exit_Mcl_MCL_EXCLUSIVE_AREA_45 (); return; } ;; Function Flexio_Mcl_Ip_Init (Flexio_Mcl_Ip_Init, funcdef_no=20, decl_uid=5722, cgraph_uid=21, symbol_order=20) Flexio_Mcl_Ip_Init (struct FLEXIO_Type * baseAddr) { : Flexio_Mcl_Ip_SetSoftwareReset (baseAddr_2(D), 1); baseAddr_2(D)->CTRL ={v} 0; return; }