Changeset 15993 in vbox

Timestamp:

Jan 16, 2009 2:07:16 PM (16 years ago)

Author:

vboxsync

Message:

cosmetical fix

File:

• trunk/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c (modified) (6 diffs)

trunk/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c

@@ -300 +300 @@
 # ifdef DO_DISABLE_NMI
 /** Stop AMD NMI watchdog (x86_64 only). */
-static int StopK7Watchdog(void)
+static int vboxdrvStopK7Watchdog(void)
 {
     wrmsr(MSR_K7_EVNTSEL0, 0, 0);
@@ -307 +307 @@
 
 /** Stop Intel P4 NMI watchdog (x86_64 only). */
-static int StopP4Watchdog(void)
+static int vboxdrvStopP4Watchdog(void)
 {
     wrmsr(MSR_P4_IQ_CCCR0,  0, 0);
@@ -316 +316 @@
 
 /** The new method of detecting the event counter */
-static int StopIntelArchWatchdog(void)
+static int vboxdrvStopIntelArchWatchdog(void)
 {
     unsigned ebx;
@@ -327 +327 @@
 
 /** Stop NMI watchdog. */
-static void VBoxStopApicNmiWatchdog(void *unused)
+static void vboxdrvStopApicNmiWatchdog(void *unused)
 {
     int stopped = 0;
@@ -343 +343 @@
             if (strstr(boot_cpu_data.x86_model_id, "Screwdriver"))
                return;
-            stopped = StopK7Watchdog();
+            stopped = vboxdrvStopK7Watchdog();
             break;
         case X86_VENDOR_INTEL:
             if (cpu_has(&boot_cpu_data, X86_FEATURE_ARCH_PERFMON))
             {
-                stopped = StopIntelArchWatchdog();
+                stopped = vboxdrvStopIntelArchWatchdog();
                 break;
             }
-            stopped = StopP4Watchdog();
+            stopped = vboxdrvStopP4Watchdog();
             break;
         default:
@@ -370 +370 @@
         return;
 
-    on_each_cpu(VBoxStopApicNmiWatchdog, NULL, 1, 1);
+    on_each_cpu(vboxdrvStopApicNmiWatchdog, NULL, 1, 1);
 
     BUG_ON(nmi_atomic_read(&nmi_active) != 0);