static void xen_be_evtchn_event(void *opaque)

{

    struct XenDevice *xendev = opaque;

    evtchn_port_t port;



    port = xc_evtchn_pending(xendev->evtchndev);

    if (port != xendev->local_port) {

        xen_be_printf(xendev, 0, "xc_evtchn_pending returned %d (expected %d)\n",

                      port, xendev->local_port);

        return;

    }

    xc_evtchn_unmask(xendev->evtchndev, port);



    if (xendev->ops->event) {

        xendev->ops->event(xendev);

    }

}

static void xen_be_evtchn_event(void *opaque)

{

    struct XenDevice *xendev = opaque;

    evtchn_port_t port;



    port = xc_evtchn_pending(xendev->evtchndev);

    if (port != xendev->local_port) {

        xen_be_printf(xendev, 0, "xc_evtchn_pending returned %d (expected %d)\n",

                      port, xendev->local_port);

        return;

    }

    xc_evtchn_unmask(xendev->evtchndev, port);



    if (xendev->ops->event) {

        xendev->ops->event(xendev);

    }

}

static void FUNC_0(void *VAR_0)

{

    struct XenDevice *VAR_1 = VAR_0;

    evtchn_port_t port;



    port = xc_evtchn_pending(VAR_1->evtchndev);

    if (port != VAR_1->local_port) {

        xen_be_printf(VAR_1, 0, "xc_evtchn_pending returned %d (expected %d)\n",

                      port, VAR_1->local_port);

        return;

    }

    xc_evtchn_unmask(VAR_1->evtchndev, port);



    if (VAR_1->ops->event) {

        VAR_1->ops->event(VAR_1);

    }

}

static void FUNC_0(void *VAR_0)
{ struct XenDevice *VAR_1 = VAR_0; evtchn_port_t port; port = xc_evtchn_pending(VAR_1->evtchndev); if (port != VAR_1->local_port) { xen_be_printf(VAR_1, 0, "xc_evtchn_pending returned %d (expected %d)\n",
port, VAR_1->local_port); return; } xc_evtchn_unmask(VAR_1->evtchndev, port); if (VAR_1->ops->event) { VAR_1->ops->event(VAR_1); } }