Use tsc_frequency instead of tsc_freq.
authorSimon 'corecode' Schubert <corecode@fs.ei.tum.de>
Mon, 19 May 2008 11:43:48 +0000 (13:43 +0200)
committerSimon 'corecode' Schubert <corecode@fs.ei.tum.de>
Mon, 19 May 2008 11:43:48 +0000 (13:43 +0200)
src/nvidia_os.c

index c9354f0..e05ce01 100644 (file)
@@ -137,7 +137,7 @@ RM_STATUS NV_API_CALL os_delay_us(U032 MicroSeconds)
 
 U032 NV_API_CALL os_get_cpu_frequency(void)
 {
-    return ((tsc_freq + 4999) / 1000000);
+    return ((tsc_frequency + 4999) / 1000000);
 }
 
 U032 NV_API_CALL os_get_current_process(void)