Remove uarch counters

We'll re-add support for the generic performance counter facility once
it exists.

1 files changed, 0 insertions, 1 deletions

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)
 {