# paste.txt -rw-r--r-- 154 bytes View raw
                                                                                
1
2
3
4
5
6
7
8
invalidate a specific address:
tlbi vae1, x1
	x1 = virt | asid << 48

invalidate a specific address, level 3 only:
tlbi vale1, x1
	x1 = virt | asid << 48