Implementation of the Xen libvchan shared-memory transport