Symbol: __TLBI_VADDR
arch/arm64/include/asm/tlbflush.h
148
u64 arg = __TLBI_VADDR(addr, asid);
arch/arm64/include/asm/tlbflush.h
334
asid = __TLBI_VADDR(0, ASID(mm));
arch/arm64/include/asm/tlbflush.h
631
unsigned long addr = __TLBI_VADDR(kaddr, 0);