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