__tlbi
__tlbi(op, arg); \
__tlbi(op, ##arg); \
__tlbi(vmalle1);
__tlbi(vmalle1is);
__tlbi(aside1is, asid);
__tlbi(vale1, addr);
__tlbi(vale1is, addr);
__tlbi(r##op, addr); \
__tlbi(op, (arg) | USER_ASID_FLAG); \
__tlbi(vaae1is, addr);
__tlbi(vmalle1);
__tlbi(aside1is, __TLBI_VADDR(0, 0));
__tlbi(vmalls12e1);
__tlbi(vmalle1is);
__tlbi(vmalle1);
__tlbi(vmalle1is);
__tlbi(vmalls12e1is);
__tlbi(vmalle1);
__tlbi(alle1is);
__tlbi(vmalle1is);
__tlbi(vmalle1);
__tlbi(vmalle1is);
__tlbi(vmalls12e1is);
__tlbi(vmalle1);
__tlbi(alle1is);
__tlbi(vmalle1is);
__tlbi(vae1is, va);
__tlbi(vale1is, va);
__tlbi(aside1is, va);
__tlbi(vaae1is, va);
__tlbi(vaale1is, va);
__tlbi(rvae1is, va);
__tlbi(rvale1is, va);
__tlbi(rvaae1is, va);
__tlbi(rvaale1is, va);