PCI_TSB_NUM
((((tsbid_t)tsbnum & PCI_TSB_NUM_MASK) << PCI_TSB_NUM) | \
((tsbid >> PCI_TSB_NUM) & PCI_TSB_NUM_MASK)