- /* 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;