1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright 2022 NXP 4 */ 5 6 #ifndef __KERNEL_TLB_HELPERS_H 7 #define __KERNEL_TLB_HELPERS_H 8 9 #ifndef __ASSEMBLER__ 10 11 void tlbi_all(void); 12 void tlbi_va_allasid(vaddr_t va); 13 void tlbi_asid(unsigned long asid); 14 void tlbi_va_asid(vaddr_t va, uint32_t asid); 15 16 #endif /*!__ASSEMBLER__*/ 17 18 #endif /* __KERNEL_TLB_HELPERS_H */ 19