hv_rx_buf_read_idx  593 dev/pci/if_txp.c 		if (hv->hv_rx_buf_write_idx == hv->hv_rx_buf_read_idx)
hv_rx_buf_read_idx  774 dev/pci/if_txp.c 	end = TXP_OFFSET2IDX(letoh32(hv->hv_rx_buf_read_idx));
hv_rx_buf_read_idx  481 dev/pci/if_txpreg.h 	volatile u_int32_t	hv_rx_buf_read_idx;	/* arm->host */