PCI_TSB_INDEX_MASK
(((tsbid_t)tsbindex & PCI_TSB_INDEX_MASK) << PCI_TSB_INDEX))
((tsbid >> PCI_TSB_INDEX) & PCI_TSB_INDEX_MASK)