B43legacy_MMIO_REV3PLUS_TSF_HIGH
B43legacy_MMIO_REV3PLUS_TSF_HIGH);
b43legacy_write32(dev, B43legacy_MMIO_REV3PLUS_TSF_HIGH,