K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2014-08-04T08:52:10.491537Z
K 7
svn:log
V 277
xen: add a DDB command to print event channel information

Add a new DDB command to dump all registered event channels.

Sponsored by: Citrix Systems R&D

x86/xen/xen_intr.c:
 - Add a new xen_evtchn command to DDB in order to dump all
   information related to event channels.

END