Helper for Xen's xe