destroy_agent_table
TRACE_IN(destroy_agent_table);
TRACE_OUT(destroy_agent_table);
void destroy_agent_table(struct agent_table *);
destroy_agent_table(s_agent_table);