kernel/arch/microblaze/kernel/misc.S
.. .. @@ -39,7 +39,7 @@ 39 39 rsubi r11, r12, MICROBLAZE_TLB_SIZE - 1 40 40 bneid r11, _tlbia_1 /* loop for all entries */ 41 41 addik r12, r12, 1 42 - /* sync */42 + mbar 1 /* sync */43 43 rtsd r15, 8 44 44 nop 45 45 .size _tlbia, . - _tlbia .. .. @@ -58,6 +58,7 @@ 58 58 blti r12, _tlbie_1 /* Check if found */ 59 59 mts rtlbhi, r0 /* flush: ensure V is clear */ 60 60 nop 61 + mbar 1 /* sync */61 62 _tlbie_1: 62 63 rtsd r15, 8 63 64 nop