362a363,379
>
> // Check if all CPUs are booted with caches enabled
> // so we can stop enforcing coherency of some kernel
> // structures manually.
> sys = tc->getSystemPtr();
> for (x = 0; x < sys->numContexts(); x++) {
> oc = sys->getThreadContext(x);
> SCTLR other_sctlr = oc->readMiscRegNoEffect(MISCREG_SCTLR);
> if (!other_sctlr.c && oc->status() != ThreadContext::Halted)
> return;
> }
>
> for (x = 0; x < sys->numContexts(); x++) {
> oc = sys->getThreadContext(x);
> oc->getDTBPtr()->allCpusCaching();
> oc->getITBPtr()->allCpusCaching();
> }