sys/dev/pci/if_et.c

1687

KKASSERT(rxst_ring->rsr_index < ET_RX_NSTAT);

sys/dev/pci/if_et.c

1744

KKASSERT(rx_ring->rr_index < ET_RX_NDESC);

sys/dev/pci/if_et.c

1775

KKASSERT(tx_ring->tr_ready_index < ET_TX_NDESC);

sys/dev/pci/if_et.c

1835

KKASSERT(tx_ring->tr_ready_index < ET_TX_NDESC);

sys/dev/pci/if_et.c

1844

KKASSERT(last_idx >= 0);

sys/dev/pci/if_et.c

1850

KKASSERT(tbd->tbd_used <= ET_TX_NDESC);

sys/dev/pci/if_et.c

1890

KKASSERT(tbd->tbd_start_index < ET_TX_NDESC);

sys/dev/pci/if_et.c

1909

KKASSERT(tbd->tbd_used > 0);

sys/dev/pci/if_et.c

1969

KKASSERT(buf_idx < ET_RX_NDESC);