LA40_L2_COUNT
#define TBL40_L2_SIZE (LA40_L2_COUNT * sizeof(uint32_t))
__CTASSERT(LA40_L1_COUNT == LA40_L2_COUNT);