B43_MMIO_REV3PLUS_TSF_LOW
low = b43_read32(dev, B43_MMIO_REV3PLUS_TSF_LOW);
b43_write32(dev, B43_MMIO_REV3PLUS_TSF_LOW, low);