From d88671efdfd08f5fcb33b4c4099d79eb82978c62 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 12 Jul 2016 11:10:26 -0700
Subject: Remove uarch counters

We'll re-add support for the generic performance counter facility once
it exists.
---
 pk/pk.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'pk/pk.h')

diff --git a/pk/pk.h b/pk/pk.h
index 2c68c93..1167f6e 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -35,7 +35,6 @@ int vsnprintf(char* out, size_t n, const char* s, va_list vl);
 int snprintf(char* out, size_t n, const char* s, ...);
 void start_user(trapframe_t* tf) __attribute__((noreturn));
 void dump_tf(trapframe_t*);
-void dump_uarch_counters();
 
 static inline int insn_len(long insn)
 {
-- 
cgit v1.1