K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2013-12-12T20:34:04.917830Z
K 7
svn:log
V 139
Add a command to inject an NMI on a specific vcpu.  It is a simple
wrapper around the existing vm_inject_nmi().

Reviewed by:	grehan, neel

END