use tsc directly in userspace until user level timer facility is made
authorDavid Zhu <yuzhu@cs.berkeley.edu>
Tue, 5 May 2009 22:50:43 +0000 (15:50 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 6 May 2009 18:42:18 +0000 (11:42 -0700)
user/null.c

index f22ac63..6b09fad 100644 (file)
@@ -2,6 +2,7 @@
 #include <inc/lib.h>
 #include <inc/types.h>
 #include <inc/syscall.h>
+#include <inc/x86.h>
 
 uint64_t avg(uint32_t (COUNT(length) array)[], int length) 
 {