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