Marking local functions: Marking externally visible functions: Marking externally visible variables: cmuCallbacks Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: ClockMonitorEmpty_GetStatus/4 (ClockMonitorEmpty_GetStatus) @06d1d700 Type: function definition analyzed Visibility: force_output no_reorder prevailing_def_ironly Address is taken. References: Referring: cmuCallbacks/0 (addr) Availability: available Function flags: body Called by: Calls: ClockMonitorEmpty_ClearStatus/3 (ClockMonitorEmpty_ClearStatus) @06d1d460 Type: function definition analyzed Visibility: force_output no_reorder prevailing_def_ironly Address is taken. References: Referring: cmuCallbacks/0 (addr) Availability: available Function flags: body Called by: Calls: ClockMonitorEmpty_Disable/2 (ClockMonitorEmpty_Disable) @06d1d1c0 Type: function definition analyzed Visibility: force_output no_reorder prevailing_def_ironly Address is taken. References: Referring: cmuCallbacks/0 (addr) Availability: available Function flags: body Called by: Calls: ClockMonitorEmpty/1 (ClockMonitorEmpty) @06c5be00 Type: function definition analyzed Visibility: force_output no_reorder prevailing_def_ironly Address is taken. References: Referring: cmuCallbacks/0 (addr)cmuCallbacks/0 (addr)cmuCallbacks/0 (addr) Availability: available Function flags: body Called by: Calls: cmuCallbacks/0 (cmuCallbacks) @06c63048 Type: variable definition analyzed Visibility: force_output externally_visible no_reorder public References: ClockMonitorEmpty/1 (addr)ClockMonitorEmpty/1 (addr)ClockMonitorEmpty_Disable/2 (addr)ClockMonitorEmpty_ClearStatus/3 (addr)ClockMonitorEmpty_GetStatus/4 (addr)ClockMonitorEmpty/1 (addr) Referring: Availability: available Varpool flags: initialized read-only const-value-known ClockMonitorEmpty_GetStatus (Clock_Ip_NameType name) { Clock_Ip_CmuStatusType D.6081; Clock_Ip_CmuStatusType _1; : _1 = 3; : : return _1; } ClockMonitorEmpty_ClearStatus (Clock_Ip_NameType name) { : return; } ClockMonitorEmpty_Disable (Clock_Ip_NameType name) { : return; } ClockMonitorEmpty (const struct Clock_Ip_CmuConfigType * config) { : return; }