xvdi_ring_push_request
if (xvdi_ring_push_request(vdp->xdf_xb_ring)) {
int xvdi_ring_push_request(xendev_ring_t *);