Index: /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 64234)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 64235)
@@ -706,5 +706,5 @@
 
 /**
- * Used by supdrvInitRefineInvariantTscFreqTimer and supdrvGipInitMeasureTscFreq
+ * Used by supdrvGipInitRefineInvariantTscFreqTimer and supdrvGipInitMeasureTscFreq
  * to update the TSC frequency related GIP variables.
  *
@@ -757,5 +757,5 @@
  * @param   iTick       The timer tick.
  */
-static DECLCALLBACK(void) supdrvInitRefineInvariantTscFreqTimer(PRTTIMER pTimer, void *pvUser, uint64_t iTick)
+static DECLCALLBACK(void) supdrvGipInitRefineInvariantTscFreqTimer(PRTTIMER pTimer, void *pvUser, uint64_t iTick)
 {
     PSUPDRVDEVEXT       pDevExt = (PSUPDRVDEVEXT)pvUser;
@@ -966,5 +966,5 @@
     rc = RTTimerCreateEx(&pDevExt->pInvarTscRefineTimer, RT_NS_1SEC,
                          RTTIMER_FLAGS_CPU(RTMpCpuIdToSetIndex(pDevExt->idCpuInvarTscRefine)),
-                         supdrvInitRefineInvariantTscFreqTimer, pDevExt);
+                         supdrvGipInitRefineInvariantTscFreqTimer, pDevExt);
     if (RT_SUCCESS(rc))
     {
@@ -978,5 +978,5 @@
     {
         rc = RTTimerCreateEx(&pDevExt->pInvarTscRefineTimer, RT_NS_1SEC, RTTIMER_FLAGS_CPU_ANY,
-                             supdrvInitRefineInvariantTscFreqTimer, pDevExt);
+                             supdrvGipInitRefineInvariantTscFreqTimer, pDevExt);
         if (RT_SUCCESS(rc))
         {