srmmu_ctxd_set
srmmu_ctxd_set(&srmmu_context_table[mm->context], srmmu_swapper_pg_dir);
srmmu_ctxd_set(&srmmu_context_table[mm->context], mm->pgd);
srmmu_ctxd_set(__nocache_fix(&srmmu_context_table[i]), srmmu_swapper_pg_dir);