bxe_reg_write32
void bxe_reg_write32(struct bxe_softc *sc, bus_size_t offset, uint32_t val);
#define REG_WR32(sc, offset, val) bxe_reg_write32(sc, offset, val)