Xen event channel interface for Mirage