os_timer.c
changeset 3362 5fc13da0a8fd
parent 3356 a3a09fd9d438
child 3383 24871cb73dbf
--- a/os_timer.c	Wed Mar 29 20:06:31 2006 +0000
+++ b/os_timer.c	Wed Mar 29 20:35:39 2006 +0000
@@ -8,7 +8,7 @@
 # if defined (_M_AMD64)
 extern uint64 _rdtsc(void);
 #	else
-uint64 _declspec(naked) _rdtsc(void) 
+uint64 _declspec(naked) _rdtsc(void)
 {
 	_asm {
 		rdtsc