Rename PixmanTimer to pixman_timer_t
authorSøren Sandmann Pedersen <sandmann@redhat.com>
Thu, 4 Jun 2009 11:31:39 +0000 (07:31 -0400)
committerSøren Sandmann Pedersen <sandmann@redhat.com>
Fri, 19 Jun 2009 17:15:41 +0000 (13:15 -0400)
pixman/pixman-private.h
pixman/pixman-timer.c

index 775def7..9d91889 100644 (file)
@@ -784,23 +784,23 @@ oil_profile_stamp_rdtsc (void)
 }
 #define OIL_STAMP oil_profile_stamp_rdtsc
 
-typedef struct PixmanTimer PixmanTimer;
+typedef struct pixman_timer_t pixman_timer_t;
 
-struct PixmanTimer
+struct pixman_timer_t
 {
     int initialized;
     const char *name;
     uint64_t n_times;
     uint64_t total;
-    PixmanTimer *next;
+    pixman_timer_t *next;
 };
 
 extern int timer_defined;
-void pixman_timer_register (PixmanTimer *timer);
+void pixman_timer_register (pixman_timer_t *timer);
 
 #define TIMER_BEGIN(tname)                                             \
     {                                                                  \
-       static PixmanTimer      timer##tname;                           \
+       static pixman_timer_t   timer##tname;                           \
        uint64_t                begin##tname;                           \
                                                                        \
        if (!timer##tname.initialized)                                  \
index 7742527..c995bbf 100644 (file)
 
 #ifdef PIXMAN_TIMERS
 
-static PixmanTimer *timers;
+static pixman_timer_t *timers;
 
 static void
 dump_timers (void)
 {
-    PixmanTimer *timer;
+    pixman_timer_t *timer;
 
     for (timer = timers; timer != NULL; timer = timer->next)
     {
@@ -47,7 +47,7 @@ dump_timers (void)
 }
 
 void
-pixman_timer_register (PixmanTimer *timer)
+pixman_timer_register (pixman_timer_t *timer)
 {
     static int initialized;