__tlbi_level
__tlbi_level(op, (arg | USER_ASID_FLAG), level); \
__tlbi_level(op, addr, tlb_level); \
__tlbi_level(vale2is, __TLBI_VADDR(addr, 0), level);
__tlbi_level(ipas2e1is, ipa, level);
__tlbi_level(ipas2e1, ipa, level);
__tlbi_level(vae2is, __TLBI_VADDR(ctx->addr, 0), TLBI_TTL_UNKNOWN);
__tlbi_level(vale2is, __TLBI_VADDR(ctx->addr, 0), ctx->level);
__tlbi_level(ipas2e1is, ipa, level);
__tlbi_level(ipas2e1, ipa, level);