Searched refs:srmmu_ctxd_set (Results 1 – 1 of 1) sorted by relevance
225 static inline void srmmu_ctxd_set(ctxd_t *ctxp, pgd_t *pgdp) in srmmu_ctxd_set() function570 srmmu_ctxd_set(&srmmu_context_table[mm->context], mm->pgd); in srmmu_switch_mm()1309 srmmu_ctxd_set((ctxd_t *)__nocache_fix(&srmmu_context_table[i]), srmmu_swapper_pg_dir); in srmmu_paging_init()1384 srmmu_ctxd_set(&srmmu_context_table[mm->context], srmmu_swapper_pg_dir); in srmmu_destroy_context()