1/* 2 * (C) Copyright 2013 3 * David Feng <fenghua@phytium.com.cn> 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8#include <asm-offsets.h> 9#include <config.h> 10#include <linux/linkage.h> 11#include <asm/macro.h> 12 13/* 14 * void __asm_invalidate_tlb_all(void) 15 * 16 * invalidate all tlb entries. 17 */ 18ENTRY(__asm_invalidate_tlb_all) 19 switch_el x9, 3f, 2f, 1f 203: tlbi alle3 21 dsb sy 22 isb 23 b 0f 242: tlbi alle2 25 dsb sy 26 isb 27 b 0f 281: tlbi vmalle1 29 dsb sy 30 isb 310: 32 ret 33ENDPROC(__asm_invalidate_tlb_all) 34