br_rxbuf_hi      1061 dev/pci/if_txp.c 	boot->br_rxbuf_hi = htole32(sc->sc_rxbufring_dma.dma_paddr >> 32);
br_rxbuf_hi       455 dev/pci/if_txpreg.h 	volatile u_int32_t	br_rxbuf_hi;