| 382 | #if __ARM_ARCH >= 7 && defined(SMP) |
| 383 | |
| 384 | static __inline void |
| 385 | tlb_flush_all(void) |
| 386 | { |
| 387 | |
| 388 | dsb(); |
| 389 | ARM_SMP_UP( |
| 390 | _CP15_TLBIALLIS(), |
| 391 | _CP15_TLBIALL() |
| 392 | ); |
| 393 | dsb(); |
| 394 | } |
| 395 | |
| 396 | static __inline void |
| 397 | tlb_flush_all_ng(void) |