static void vtpci_config_intr(void *xsc) { struct vtpci_softc *sc; device_t child; sc = xsc; child = sc->vtpci_child_dev; if (child != NULL) VIRTIO_CONFIG_CHANGE(child); }
static int vtpci_config_intr(void *xsc) { struct vtpci_softc *sc; device_t child; int rc; rc = 0; sc = xsc; child = sc->vtpci_child_dev; if (child != NULL) rc = VIRTIO_CONFIG_CHANGE(child); return (rc ? FILTER_HANDLED : FILTER_STRAY); }