K 10
svn:author
V 6
jkoshy
K 8
svn:date
V 27
2005-04-28T08:13:19.000000Z
K 7
svn:log
V 296
Return the correct register number in the 'get_msr()' MD function.

Only allow a process to use the x86 RDPMC instruction if it has
allocated and attached a PMC to itself.

Inform the MD layer of the "pseudo context switch out" that needs
to be done when the last thread of a process is exiting.

END