B43_MMIO_REV3PLUS_TSF_HIGH
high = b43_read32(dev, B43_MMIO_REV3PLUS_TSF_HIGH);
b43_write32(dev, B43_MMIO_REV3PLUS_TSF_HIGH, high);