hv_cmd_read_idx  1756 dev/pci/if_txp.c 	ridx = letoh32(hv->hv_cmd_read_idx);
hv_cmd_read_idx   482 dev/pci/if_txpreg.h 	volatile u_int32_t	hv_cmd_read_idx;	/* arm->host */