K 10 svn:author V 6 cherry K 8 svn:date V 27 2012-06-05T09:49:31.525829Z K 7 svn:log V 192 Enable the event channel callback code. Events are now routed via the xen/evtchn/evtchn.c:evtchn_do_upcall() callback. Also initialise the "failsafe" callback. Approved by: gibbs (implicit) END