1/* SPDX-License-Identifier: BSD-2-Clause */
2/*
3 * Copyright 2022 NXP
4 */
5
6#include <asm.S>
7#include <riscv.h>
8#include <util.h>
9
10/* void tlbi_all(void); */
11FUNC tlbi_all , :
12	sfence.vma	zero, zero
13END_FUNC tlbi_all
14
15/* void tlbi_mva_allasid(vaddr_t mva); */
16FUNC tlbi_mva_allasid , :
17	sfence.vma	a0, zero
18END_FUNC tlbi_mva_allasid
19
20/* void tlbi_asid(unsigned int asid); */
21FUNC tlbi_asid , :
22	sfence.vma	zero, a0
23END_FUNC tlbi_asid
24