int xen_be_send_notify(struct XenDevice *xendev)

{

    return xc_evtchn_notify(xendev->evtchndev, xendev->local_port);

}

int xen_be_send_notify(struct XenDevice *xendev)

{

    return xc_evtchn_notify(xendev->evtchndev, xendev->local_port);

}

int FUNC_0(struct XenDevice *VAR_0)

{

    return xc_evtchn_notify(VAR_0->evtchndev, VAR_0->local_port);

}

int FUNC_0(struct XenDevice *VAR_0)
{ return xc_evtchn_notify(VAR_0->evtchndev, VAR_0->local_port); }