Searched refs:update_saved_ttbr0 (Results 1 – 1 of 1) sorted by relevance
134 update_saved_ttbr0(current, mm); in efi_set_pgd()144 update_saved_ttbr0(current, current->active_mm); in efi_set_pgd()