diff usr/src/uts/intel/ia32/os/archdep.c @ 4551:af6e7cd796cc

6539802 Time as reported by gettimeofday(3C) goes backwards on Galaxy kit
author sudheer
date Thu, 28 Jun 2007 00:11:48 -0700
parents 8cf697a3acff
children 7d838c5c0eed
line wrap: on
line diff
--- a/usr/src/uts/intel/ia32/os/archdep.c	Wed Jun 27 21:47:24 2007 -0700
+++ b/usr/src/uts/intel/ia32/os/archdep.c	Thu Jun 28 00:11:48 2007 -0700
@@ -936,7 +936,7 @@
 
 #if defined(_SYSCALL32_IMPL)
 	auxv_hwcap32 = (auxv_hwcap32_include | cpu_hwcap_flags) &
-		~auxv_hwcap32_exclude;
+	    ~auxv_hwcap32_exclude;
 
 #if defined(__amd64)
 	/*
@@ -1343,7 +1343,6 @@
 #include <sys/machlock.h>
 
 extern int one_sec;
-extern timestruc_t hrestime;
 extern int max_hres_adj;
 
 void