BDX_ASSERT        885 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(addr != 0x72C0);
BDX_ASSERT        892 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(addr != 0x7330);
BDX_ASSERT        899 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(addr != 0x73A0);
BDX_ASSERT        906 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(addr != 0x7400);
BDX_ASSERT        907 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT((sizeof(struct bdx_stats) / sizeof(u64)) != i);
BDX_ASSERT        946 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(db->top <= 0);
BDX_ASSERT        952 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT((n < 0) || (n >= db->nelem));
BDX_ASSERT        963 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT((n >= db->nelem) || (n < 0));
BDX_ASSERT       1229 drivers/net/ethernet/tehuti/tehuti.c 		BDX_ASSERT(tmp_len <= 0);
BDX_ASSERT       1384 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(db == NULL || pptr == NULL);	/* sanity */
BDX_ASSERT       1386 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(*pptr != db->rptr &&	/* expect either read */
BDX_ASSERT       1389 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(*pptr < db->start ||	/* pointer has to be */
BDX_ASSERT       1403 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(db->rptr == db->wptr);	/* can't read from empty db */
BDX_ASSERT       1414 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(db->rptr == db->wptr);	/* we can not get empty db as
BDX_ASSERT       1454 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(d == NULL);
BDX_ASSERT       1621 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(f->m.wptr >= f->m.memsz);	/* started with valid wptr */
BDX_ASSERT       1659 drivers/net/ethernet/tehuti/tehuti.c 			BDX_ASSERT(len > f->m.memsz);
BDX_ASSERT       1663 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(f->m.wptr >= f->m.memsz);	/* finished with valid wptr */
BDX_ASSERT       1666 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(priv->tx_level <= 0 || priv->tx_level > BDX_MAX_TX_LEVEL);
BDX_ASSERT       1720 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(f->m.rptr >= f->m.memsz);	/* started with valid rptr */
BDX_ASSERT       1728 drivers/net/ethernet/tehuti/tehuti.c 		BDX_ASSERT(db->rptr->len == 0);
BDX_ASSERT       1730 drivers/net/ethernet/tehuti/tehuti.c 			BDX_ASSERT(db->rptr->addr.dma == 0);
BDX_ASSERT       1743 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT((f->m.wptr & TXF_WPTR_WR_PTR) >= f->m.memsz);
BDX_ASSERT       1750 drivers/net/ethernet/tehuti/tehuti.c 	BDX_ASSERT(priv->tx_level <= 0 || priv->tx_level > BDX_MAX_TX_LEVEL);
BDX_ASSERT       2340 drivers/net/ethernet/tehuti/tehuti.c 		BDX_ASSERT(ARRAY_SIZE(bdx_stat_names)