Symbol: xenbus_otherend_changed