Searched refs:srmmu_ctxd_set (Results 1 – 1 of 1) sorted by relevance
110 static inline void srmmu_ctxd_set(ctxd_t *ctxp, pgd_t *pgdp) in srmmu_ctxd_set() function494 srmmu_ctxd_set(&srmmu_context_table[mm->context], mm->pgd); in switch_mm()942 srmmu_ctxd_set((ctxd_t *)__nocache_fix(&srmmu_context_table[i]), srmmu_swapper_pg_dir); in srmmu_paging_init()1020 srmmu_ctxd_set(&srmmu_context_table[mm->context], srmmu_swapper_pg_dir); in destroy_context()
