LA40_L2_NBITS
#define LA40_L3_NBITS (32U - LA40_L1_NBITS - LA40_L2_NBITS - PAGE_SHIFT)
#define LA40_L2_COUNT __BIT(LA40_L2_NBITS)
#define LA40_L2_MASK (__BITS(0,(LA40_L2_NBITS - 1)) << LA40_L2_SHIFT)
__SHIFTIN(LA40_L2_NBITS, TCR51_TIB) | \