buf_ring_dequeue_mc
mbuf = buf_ring_dequeue_mc(cq->rx_br);
n = buf_ring_dequeue_mc(sc->notifring);
rte = buf_ring_dequeue_mc(rt->mfc_stall_ring);
rte = buf_ring_dequeue_mc(rt->mfc_stall_ring);
while ((bu = buf_ring_dequeue_mc(mfct->bw_upcalls)) != NULL) {
while ((bu = buf_ring_dequeue_mc(mfct->bw_upcalls)) != NULL) {
MC_SC_TEST(buf_ring_dequeue_mc)
ATF_TP_ADD_TC(tp, buf_ring_dequeue_mc);
val = buf_ring_dequeue_mc(br);