Symbol: xenbus_read_otherend_details