B43_MMIO_REV3PLUS_TSF_HIGH  613 drivers/net/wireless/broadcom/b43/main.c 	high = b43_read32(dev, B43_MMIO_REV3PLUS_TSF_HIGH);
B43_MMIO_REV3PLUS_TSF_HIGH  645 drivers/net/wireless/broadcom/b43/main.c 	b43_write32(dev, B43_MMIO_REV3PLUS_TSF_HIGH, high);