Symbol: xenbus_dev_request_and_reply