tree cd0e64aa540516070de9227e40137b88072ed716
parent bc465aa9d045feb0e13b4a8f32cc33c1943f62d6
author Catalin Marinas <catalin.marinas@arm.com> 1427123210 +0000
committer Catalin Marinas <catalin.marinas@arm.com> 1427136143 +0000

arm64: Use the reserved TTBR0 if context switching to the init_mm

The idle_task_exit() function may call switch_mm() with next ==
&init_mm. On arm64, init_mm.pgd cannot be used for user mappings, so
this patch simply sets the reserved TTBR0.

Cc: <stable@vger.kernel.org>
Reported-by: Jon Medhurst (Tixy) <tixy@linaro.org>
Tested-by: Jon Medhurst (Tixy) <tixy@linaro.org>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>