Dan Hecht wrote:

Jeremy, I saw you sent out the Xen version earlier, thanks.  Here's
ours for reference (please excuse any formating issues); it's also
lean. We'll send out a proper patch later after some more testing:

So the interrupt side of the clockevent comes through the virtual apic? 
Where does evt->handle_event get called?

    J