rb_paddrhi        817 dev/pci/if_txp.c 		rbd->rb_paddrhi = ((u_int64_t)sd->sd_map->dm_segs[0].ds_addr)
rb_paddrhi       1101 dev/pci/if_txp.c 		sc->sc_rxbufs[i].rb_paddrhi =
rb_paddrhi        307 dev/pci/if_txpreg.h 	volatile u_int32_t	rb_paddrhi;