TIB_SHIFT
#define TIB_SIZE (1U << TIB_SHIFT) /* 2048 / 1024 */
#define TIA_SHIFT (32 - TIB_SHIFT - PAGE_SHIFT) /* 8 / 10 */
__SHIFTIN(TIB_SHIFT, TCR51_TIB))
#define SEGSHIFT (TIB_SHIFT + PAGE_SHIFT) /* 24 / 22 */