1/* SPDX-License-Identifier: BSD-2-Clause */ 2/* 3 * Copyright (c) 2023 Andes Technology Corporation 4 * Copyright 2022 NXP 5 */ 6 7#include <asm.S> 8 9/* void tlbi_all(void); */ 10FUNC tlbi_all , : 11 sfence.vma zero, zero 12 ret 13END_FUNC tlbi_all 14 15/* void tlbi_va_allasid(vaddr_t va); */ 16FUNC tlbi_va_allasid , : 17 sfence.vma a0, zero 18 ret 19END_FUNC tlbi_va_allasid 20 21/* void tlbi_asid(unsigned int asid); */ 22FUNC tlbi_asid , : 23 sfence.vma zero, a0 24 ret 25END_FUNC tlbi_asid 26 27/* void tlbi_va_asid(vaddr_t va, uint32_t asid); */ 28FUNC tlbi_va_asid , : 29 sfence.vma a0, a1 30 ret 31END_FUNC tlbi_va_asid 32