set_cpu_context(cpu, mm, asid);
asid_cache(cpu) = asid;
}
+EXPORT_SYMBOL_GPL(get_new_mmu_context);
void check_mmu_context(struct mm_struct *mm)
{
if (!asid_versions_eq(cpu, cpu_context(cpu, mm), asid_cache(cpu)))
get_new_mmu_context(mm);
}
+EXPORT_SYMBOL_GPL(check_mmu_context);
static void flush_context(void)
{
setup_pgd:
TLBMISS_HANDLER_SETUP_PGD(mm->pgd);
}
+EXPORT_SYMBOL_GPL(check_switch_mmu_context);
static int mmid_init(void)
{