K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-10-31T05:20:11.836796Z
K 7
svn:log
V 219
Rename the VMM_CTRx() family of macros to VCPU_CTRx() to highlight that these
tracepoints are vcpu-specific.

Add support for tracepoints that are global to the virtual machine - these
tracepoints are called VM_CTRx().

END