\r
ArmCleanInvalidateDataCache ();\r
ArmInvalidateInstructionCache ();\r
- ArmInvalidateTlb ();\r
\r
ArmDisableDataCache ();\r
ArmDisableInstructionCache();\r
+ // TLBs are also invalidated when calling ArmDisableMmu()\r
ArmDisableMmu ();\r
\r
// Make sure nothing sneaked into the cache\r