954c954
< bool long_desc_format = aarch64 || (haveLPAE && ttbcr.eae);
---
> bool long_desc_format = aarch64 || longDescFormatInUse(tc);
1250,1251c1250
< if (haveLPAE && ttbcr.eae) {
< // Long-descriptor translation table format in use
---
> if (longDescFormatInUse(tc)) {
1257,1258c1256
< } else {
< // Short-descriptor translation table format in use
---
> } else { // Short-descriptor translation table format in use