Symbol: ANS_NVMMU_TCB_SIZE