b43legacy_tsf_write
b43legacy_tsf_write(dev, tsf);
void b43legacy_tsf_write(struct b43legacy_wldev *dev, u64 tsf);