xpci_backend_changed
sc->sc_xbusd->xbusd_otherend_changed = xpci_backend_changed;
static void xpci_backend_changed(void *, XenbusState);