+ return metrics_get_current_op (current_context->metrics);
+}
+
+void
+context_end_frame_pre_swap (void)
+{
+ return metrics_end_frame_pre_swap (current_context->metrics);
+}
+
+void
+context_end_frame_post_swap (void)
+{
+ return metrics_end_frame_post_swap (current_context->metrics);
+}
+
+/* Is the given extension available? */
+static bool
+check_extension (const char *extension)
+{
+ int i, num_extensions;
+ const char *available;
+
+ glGetIntegerv (GL_NUM_EXTENSIONS, &num_extensions);
+
+ for (i = 0; i < num_extensions; i++) {
+ available = (char *) glGetStringi (GL_EXTENSIONS, i);
+ if (strcmp (extension, available) == 0) {
+ return true;
+ }
+ }
+
+ return false;