]> git.karo-electronics.de Git - linux-beck.git/search
arm64: efi: don't restore TTBR0 if active_mm points at init_mm