Searched refs:update_saved_ttbr0 (Results 1 – 2 of 2) sorted by relevance
174 static inline void update_saved_ttbr0(struct task_struct *tsk, in update_saved_ttbr0() function190 static inline void update_saved_ttbr0(struct task_struct *tsk, in update_saved_ttbr0() function203 update_saved_ttbr0(tsk, &init_mm); in enter_lazy_tlb()235 update_saved_ttbr0(tsk, next); in switch_mm()
134 update_saved_ttbr0(current, mm); in efi_set_pgd()144 update_saved_ttbr0(current, current->active_mm); in efi_set_pgd()
