Symbol: xenbus_dev_write