Actually set the proper bit to indicate TTB shared memory.

Submitted by:	Juergan Weiss
This commit is contained in:
Ian Lepore 2014-02-23 23:06:50 +00:00
parent b7c1fc50a4
commit 08616fa793

View File

@ -425,7 +425,7 @@ Ltag:
orr r0, r0, #PHYSADDR
ldr r0, [r0]
#if defined(SMP)
orr r0, r0, #0 /* Set TTB shared memory flag */
orr r0, r0, #2 /* Set TTB shared memory flag */
#endif
mcr p15, 0, r0, c2, c0, 0 /* Set TTB */
mcr p15, 0, r0, c8, c7, 0 /* Flush TLB */