Symbol: XENBUS_BACKEND_DEVICE