Marking local functions: System_Ip_ConfigIrqPrivileged Marking externally visible functions: System_Ip_ConfigIrq Marking externally visible variables: Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: System_Ip_ConfigIrq/2 (System_Ip_ConfigIrq) @06f33b60 Type: function definition analyzed Visibility: force_output externally_visible no_reorder public References: Referring: Availability: available Function flags: body Called by: Calls: System_Ip_ConfigIrqPrivileged/1 System_Ip_ConfigIrqPrivileged/1 (System_Ip_ConfigIrqPrivileged) @06f33d20 Type: function definition analyzed Visibility: no_reorder prevailing_def_ironly References: Referring: Availability: local Function flags: body local Called by: System_Ip_ConfigIrq/2 Calls: System_Ip_ConfigIrq (System_Ip_IrqType eIrq, boolean bEnable) { : System_Ip_ConfigIrqPrivileged (eIrq_2(D), bEnable_3(D)); return; } System_Ip_ConfigIrqPrivileged (System_Ip_IrqType eIrq, boolean bEnable) { uint32 regValTemp; struct MCM_Type * _1; long unsigned int _2; long unsigned int _3; long unsigned int _4; struct MCM_Type * _5; : _1 = 3758620672B; regValTemp_8 ={v} _1->ISCR; if (bEnable_9(D) != 0) goto ; [INV] else goto ; [INV] : _2 = 1 << eIrq_10(D); regValTemp_12 = regValTemp_8 | _2; goto ; [INV] : _3 = 1 << eIrq_10(D); _4 = ~_3; regValTemp_11 = regValTemp_8 & _4; : # regValTemp_6 = PHI _5 = 3758620672B; _5->ISCR ={v} regValTemp_6; return; }