Adding initial support for performance counters.
authorDavid Zhu <yuzhu@cs.berkeley.edu>
Mon, 3 May 2010 01:53:54 +0000 (18:53 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:47 +0000 (17:35 -0700)
commit709ae5e0b7c35dc24046e76fbba2cfb9aa27650a
tree7113945058240278b7ef1fa4f454abeee40ef19e
parent3af8d273c305b47c77c474e437b7be9a1218ba84
Adding initial support for performance counters.

The kernel sets up the performance counter specifically for OSDI.
It also changes cr4 to allow user level to read performance counters.
User can read pmc to obtain the relevant counter data.
kern/arch/i686/Makefrag
kern/arch/i686/init.c
kern/arch/i686/perfmon.c [new file with mode: 0644]
kern/arch/i686/perfmon.h [new file with mode: 0644]
kern/arch/i686/smp_boot.c
user/include/i686/arch.h