diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-12 11:10:26 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-12 11:10:26 -0700 |
commit | d88671efdfd08f5fcb33b4c4099d79eb82978c62 (patch) | |
tree | 7b9d7acaf54b4f907def6ef5eb2f9bec42021652 /pk/pk.h | |
parent | dadad2d984342643cad8b2d22b7549f986d3e05e (diff) | |
download | pk-d88671efdfd08f5fcb33b4c4099d79eb82978c62.zip pk-d88671efdfd08f5fcb33b4c4099d79eb82978c62.tar.gz pk-d88671efdfd08f5fcb33b4c4099d79eb82978c62.tar.bz2 |
Remove uarch counters
We'll re-add support for the generic performance counter facility once
it exists.
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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) { |