Searched refs:set_TTB (Results 1 – 4 of 4) sorted by relevance
129 set_TTB(next->pgd); in switch_mm()146 #define set_TTB(pgd) do { } while (0) macro
51 static inline void set_TTB(pgd_t *pgd) in set_TTB() function
75 #define set_TTB(pgd) (mmu_pdtp_cache = (pgd)) macro
324 set_TTB(swapper_pg_dir); in paging_init()