ibufq_pop
return ibufq_pop(&msgbuf->rbufs);
if ((buf = ibufq_pop(bufq)) == NULL)
struct ibuf *ibufq_pop(struct ibufqueue *bufq);