TLBI_TTL_UNKNOWN
__flush_tlb_range(vma, start, end, PAGE_SIZE, TLBI_TTL_UNKNOWN, flags);
return TLBI_TTL_UNKNOWN;
return TLBI_TTL_UNKNOWN;
__flush_tlb_range(vma, start, end, PAGE_SIZE, TLBI_TTL_UNKNOWN, TLBF_NONE);
TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN);
__tlbi_level(vae2is, ctx->addr, TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN);
TLBI_TTL_UNKNOWN);
level = TLBI_TTL_UNKNOWN;