TLBI_TTL_UNKNOWN
__flush_tlb_range(vma, start, end, PAGE_SIZE, last_level, TLBI_TTL_UNKNOWN);
return TLBI_TTL_UNKNOWN;
return TLBI_TTL_UNKNOWN;
__flush_tlb_range(vma, start, end, PAGE_SIZE, false, TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN, false, lpa2_is_enabled());
TLBI_TTL_UNKNOWN);
__tlbi_level(vae2is, __TLBI_VADDR(ctx->addr, 0), TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN);