void virtqueue_flush(VirtQueue *vq, unsigned int count)
{
    uint16_t old, new;
    /* Make sure buffer is written before we update index. */
    smp_wmb();
    trace_virtqueue_flush(vq, count);
    old = vq->used_idx;
    new = old + count;
    vring_used_idx_set(vq, new);
    if (unlikely((int16_t)(new - vq->signalled_used) < (uint16_t)(new - old)))
        vq->signalled_used_valid = false;
void virtqueue_flush(VirtQueue *vq, unsigned int count)
{
    uint16_t old, new;
    
    smp_wmb();
    trace_virtqueue_flush(vq, count);
    old = vq->used_idx;
    new = old + count;
    vring_used_idx_set(vq, new);
    if (unlikely((int16_t)(new - vq->signalled_used) < (uint16_t)(new - old)))
        vq->signalled_used_valid = false;
void FUNC_0(VirtQueue *VAR_0, unsigned int VAR_1)
{
    uint16_t old, new;
    
    smp_wmb();
    trace_virtqueue_flush(VAR_0, VAR_1);
    old = VAR_0->used_idx;
    new = old + VAR_1;
    vring_used_idx_set(VAR_0, new);
    if (unlikely((int16_t)(new - VAR_0->signalled_used) < (uint16_t)(new - old)))
        VAR_0->signalled_used_valid = false;
void FUNC_0(VirtQueue *VAR_0, unsigned int VAR_1)
{ uint16_t old, new; smp_wmb(); trace_virtqueue_flush(VAR_0, VAR_1); old = VAR_0->used_idx; new = old + VAR_1; vring_used_idx_set(VAR_0, new); if (unlikely((int16_t)(new - VAR_0->signalled_used) < (uint16_t)(new - old)))
VAR_0->signalled_used_valid = false;