BDX_ASSERT
BDX_ASSERT(tmp_len <= 0);
BDX_ASSERT(db == NULL || pptr == NULL); /* sanity */
BDX_ASSERT(*pptr != db->rptr && /* expect either read */
BDX_ASSERT(*pptr < db->start || /* pointer has to be */
BDX_ASSERT(db->rptr == db->wptr); /* can't read from empty db */
BDX_ASSERT(db->rptr == db->wptr); /* we can not get empty db as
BDX_ASSERT(d == NULL);
BDX_ASSERT(f->m.wptr >= f->m.memsz); /* started with valid wptr */
BDX_ASSERT(len > f->m.memsz);
BDX_ASSERT(f->m.wptr >= f->m.memsz); /* finished with valid wptr */
BDX_ASSERT(priv->tx_level <= 0 || priv->tx_level > BDX_MAX_TX_LEVEL);
BDX_ASSERT(f->m.rptr >= f->m.memsz); /* started with valid rptr */
BDX_ASSERT(db->rptr->len == 0);
BDX_ASSERT(db->rptr->addr.dma == 0);
BDX_ASSERT((f->m.wptr & TXF_WPTR_WR_PTR) >= f->m.memsz);
BDX_ASSERT(priv->tx_level <= 0 || priv->tx_level > BDX_MAX_TX_LEVEL);
BDX_ASSERT(ARRAY_SIZE(bdx_stat_names)
BDX_ASSERT(addr != 0x72C0);
BDX_ASSERT(addr != 0x7330);
BDX_ASSERT(addr != 0x73A0);
BDX_ASSERT(addr != 0x7400);
BDX_ASSERT((sizeof(struct bdx_stats) / sizeof(u64)) != i);
BDX_ASSERT(db->top <= 0);
BDX_ASSERT((n < 0) || (n >= db->nelem));
BDX_ASSERT((n >= db->nelem) || (n < 0));