- /* GL_TIME_ELAPSED queries for which glEndQuery has been
- * called, (but results have not yet been queried). */
- timer_query_t *timer_head;
- timer_query_t *timer_tail;
-
- /* Performance monitor for which glEndPerfMonitorAMD has not
- * yet been called. */
- unsigned monitor_begun_id;
-
- /* Performance monitors for which glEndPerfMonitorAMD has
- * been called, (but results have not yet been queried). */
- monitor_t *monitor_head;
- monitor_t *monitor_tail;
-
- int monitors_in_flight;
-
- unsigned num_op_metrics;
- op_metrics_t *op_metrics;
-} metrics_t;
-
-/* Initialize a metrics_t object for tracking metrics. */
+/* Free all internal resources of a metrics_t
+ *
+ * All outstanding metrics counters are discarded.
+ *
+ * The metrics_t object remains valid and may be used again.
+ */