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() function481 srmmu_ctxd_set(&srmmu_context_table[mm->context], mm->pgd); in switch_mm()944 srmmu_ctxd_set(__nocache_fix(&srmmu_context_table[i]), srmmu_swapper_pg_dir); in srmmu_paging_init()1011 srmmu_ctxd_set(&srmmu_context_table[mm->context], srmmu_swapper_pg_dir); in destroy_context()