/* from surf_instr.c */
void TRACE_surf_alloc(void);
void TRACE_surf_release(void);
-void TRACE_surf_host_set_power(double date, const char *resource,
- double power);
-void TRACE_surf_host_define_id(const char *name, int host_id);
-void TRACE_surf_host_vivaldi_parse(char *host, double x, double y,
- double h);
-void TRACE_surf_link_set_bandwidth(double date, void *link,
- double bandwidth);
-void TRACE_surf_link_set_latency(double date, void *link, double latency);
+void TRACE_surf_host_set_power(double date, const char *resource, double power);
+void TRACE_surf_link_set_bandwidth(double date, const char *resource, double bandwidth);
+void TRACE_surf_link_set_latency(double date, const char *resource, double latency);
void TRACE_surf_action(surf_action_t surf_action, const char *category);
//for tracing gtnets
