Symbol: rvale1
arch/arm64/include/asm/tlbflush.h
454
__tlbi(rvale1, arg);
arch/arm64/include/asm/tlbflush.h
455
__tlbi_user(rvale1, arg);