Marking local functions: Marking externally visible functions: Marking externally visible variables: pcfsCallbacks Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: ProgressiveFrequencyClockSwitchEmpty/1 (ProgressiveFrequencyClockSwitchEmpty) @06cf67e0 Type: function definition analyzed Visibility: force_output no_reorder prevailing_def_ironly Address is taken. References: Referring: pcfsCallbacks/0 (addr) Availability: available Function flags: body Called by: Calls: pcfsCallbacks/0 (pcfsCallbacks) @06cf8360 Type: variable definition analyzed Visibility: force_output externally_visible no_reorder public References: ProgressiveFrequencyClockSwitchEmpty/1 (addr) Referring: Availability: available Varpool flags: initialized read-only const-value-known ProgressiveFrequencyClockSwitchEmpty (const struct Clock_Ip_PcfsConfigType * config) { : return; }