Enable the PFM sampling to pass an 64bit info value
authorDavide Libenzi <dlibenzi@google.com>
Sat, 12 Dec 2015 21:35:31 +0000 (13:35 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 16 Dec 2015 21:27:59 +0000 (16:27 -0500)
commitd5652c5a765763ba0d6047f2d6dfd8bdc8064943
treecf790337cde725c2db45218870bed7092e2a1ab3
parent7cbb2238e9ebcb00cca9509c039fab20f169f216
Enable the PFM sampling to pass an 64bit info value

Enable the PFM sampling to pass an 64bit info value to allow userspace
to distinguish among samples.
As part of this CL, the enabling and disabling of the profiler has been
improved by using call-in-all-cores APIs.

Signed-off-by: Davide Libenzi <dlibenzi@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/perfmon.c
kern/drivers/dev/kprof.c
kern/include/profiler.h
kern/include/ros/profiler_records.h
kern/src/profiler.c